Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Stratified Abstraction of Access Control Policies
  • Publication Type:
  • Authors:
    Backes J, Berrueco U, Bray T, Brim D, Cook B, Gacek A, Jhala R, Luckow K, McLaughlin S, Menon M, Peebles D, Pugalia U, Rungta N, Schlesinger C, Schodde A, Tanuku A, Varming C, Viswanathan D
  • Publication date:
  • Pagination:
    165, 176
  • Published proceedings:
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Volume:
    12224 LNCS
  • ISBN-13:
  • Status:
  • Name of conference:
    Computer Aided Verification 32nd International Conference, CAV 2020
  • Conference start date:
  • Conference finish date:
  • Print ISSN:
© 2020, The Author(s). The shift to cloud-based APIs has made application security critically depend on understanding and reasoning about policies that regulate access to cloud resources. We present stratified predicate abstraction, a new approach that summarizes complex security policies into a compact set of positive and declarative statements that precisely state who has access to a resource. We have implemented stratified abstraction and deployed it as the engine powering AWS’s IAM Access Analyzer service, and hence, demonstrate how formal methods and SMT can be used for security policy explanation.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
UCL Researchers
Dept of Computer Science
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by