%0 Conference Paper %1 conf/sac/0012RS18 %A Kumar, Rajesh %A Rensink, Arend %A Stoelinga, Mariëlle %B SAC %D 2018 %E Haddad, Hisham M. %E Wainwright, Roger L. %E Chbeir, Richard %I ACM %K dblp %P 1907-1915 %T LOCKS: a property specification language for security goals. %U http://dblp.uni-trier.de/db/conf/sac/sac2018.html#0012RS18

@inproceedings{conf/sac/0012RS18, added-at = {2021-04-09T00:00:00.000+0200}, author = {Kumar, Rajesh and Rensink, Arend and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/28a0c2aa7b3ab7ed3ae9c92f7e1580225/dblp}, booktitle = {SAC}, crossref = {conf/sac/2018}, editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard}, ee = {https://doi.org/10.1145/3167132.3167336}, interhash = {c744e51f7e356a8aea7c32a16af149cf}, intrahash = {8a0c2aa7b3ab7ed3ae9c92f7e1580225}, keywords = {dblp}, pages = {1907-1915}, publisher = {ACM}, timestamp = {2024-04-10T21:19:42.000+0200}, title = {LOCKS: a property specification language for security goals.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2018.html#0012RS18}, year = 2018 }