Please use this identifier to cite or link to this item:
http://dspace.bits-pilani.ac.in:8080/jspui/xmlui/handle/123456789/8392
Title: | LOCKS: a property specification language for security goals |
Authors: | Kumar, Rajesh |
Keywords: | Computer Science Security and privacy Structural attack model (SAM) |
Issue Date: | Apr-2018 |
Publisher: | ACM Digital Library |
Abstract: | 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. |
URI: | https://dl.acm.org/doi/10.1145/3167132.3167336 http://dspace.bits-pilani.ac.in:8080/xmlui/handle/123456789/8392 |
Appears in Collections: | Department of Computer Science and Information Systems |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.