GraSF: Graph-based Similarity Filtering as a Preprocessing Step for SMT-based Verification of Cloud Access Policy Configuration.

Tomohiro Takeda, Toshiharu Kato

Browse the full ICST paper archive.