Rajesh Kumar 0012, Arend Rensink, Mariëlle Stoelinga. LOCKS: a property specification language for security goals. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1907-1915, ACM, 2018. [doi]
@inproceedings{0012RS18,
title = {LOCKS: a property specification language for security goals},
author = {Rajesh Kumar 0012 and Arend Rensink and Mariëlle Stoelinga},
year = {2018},
doi = {10.1145/3167132.3167336},
url = {http://doi.acm.org/10.1145/3167132.3167336},
researchr = {https://researchr.org/publication/0012RS18},
cites = {0},
citedby = {0},
pages = {1907-1915},
booktitle = {Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018},
editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir},
publisher = {ACM},
}