![DSpace logo](/jspui/image/logo.gif)
Please use this identifier to cite or link to this item:
http://dspace.bits-pilani.ac.in:8080/jspui/xmlui/handle/123456789/8392
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kumar, Rajesh | - |
dc.date.accessioned | 2023-01-09T07:19:08Z | - |
dc.date.available | 2023-01-09T07:19:08Z | - |
dc.date.issued | 2018-04 | - |
dc.identifier.uri | https://dl.acm.org/doi/10.1145/3167132.3167336 | - |
dc.identifier.uri | http://dspace.bits-pilani.ac.in:8080/xmlui/handle/123456789/8392 | - |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.publisher | ACM Digital Library | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Security and privacy | en_US |
dc.subject | Structural attack model (SAM) | en_US |
dc.title | LOCKS: a property specification language for security goals | en_US |
dc.type | Article | en_US |
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.