LOCKS: A property specification language for security goals

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    115 Downloads (Pure)


    We introduce a formal specification language locks, that allow security practitioners to express as well as compose security goals in a convenient manner. locks supports the specification of the most common security properties over generic attributes, both for qualitative and quantitative goals.
    To make our language independent of a specific security framework, we evaluate locks over a generic attack model, namely the structural attack model (sam), which over-arches the most prominent graphical threat models. Furthermore, we equip our language with a concise grammar, type rules and denotational semantics, thus laying the foundations of an automated tool. We take a number of informal security goals from the literature and show how they can be formally
    expressed in our language.
    Original languageEnglish
    Title of host publicationSAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing
    EditorsHisham M. Haddad, Roger L. Wainwright, Richard Chbeir
    PublisherAssociation for Computing Machinery
    ISBN (Electronic)978-1-4503-5191-1
    Publication statusPublished - 9 Apr 2018
    Event33rd ACM/SIGAPP Symposium On Applied Computing - Pau, France
    Duration: 9 Apr 201813 Apr 2018
    Conference number: 33


    Conference33rd ACM/SIGAPP Symposium On Applied Computing
    Abbreviated titleSAC 2018
    Internet address


    • Enterprise security
    • Quantitative security goals
    • Property specification language
    • Multi-objective query language
    • Threat models
    • Denotational semantics


    Dive into the research topics of 'LOCKS: A property specification language for security goals'. Together they form a unique fingerprint.

    Cite this