{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:13:33Z","timestamp":1776122013900,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"SEQUOIA","award":["15474"],"award-info":[{"award-number":["15474"]}]},{"name":"ArRangeer","award":["12238"],"award-info":[{"award-number":["12238"]}]},{"name":"BEAT","award":["612001303"],"award-info":[{"award-number":["612001303"]}]},{"name":"SamSam","award":["50918239"],"award-info":[{"award-number":["50918239"]}]},{"name":"TREsPASS","award":["318003"],"award-info":[{"award-number":["318003"]}]},{"name":"SUCCESS"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167336","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1907-1915","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["LOCKS"],"prefix":"10.1145","author":[{"given":"Rajesh","family":"Kumar","sequence":"first","affiliation":[{"name":"University of Twente, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[{"name":"University of Twente, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[{"name":"University of Twente, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2740"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"C. Alberts A. Dorofee J. Stevens C. Woody A. Dorofee and C. Scondras. 2003. Introduction to the OCTAVE Approach. Technical Report. SEI CMU.  C. Alberts A. Dorofee J. Stevens C. Woody A. Dorofee and C. Scondras. 2003. Introduction to the OCTAVE Approach. Technical Report. SEI CMU.","DOI":"10.21236\/ADA634134"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"F. Arnold D. Guck R. Kumar and M. Stoelinga. 2015. Sequential and Parallel Attack Tree Modelling. Springer 291--299.  F. Arnold D. Guck R. Kumar and M. Stoelinga. 2015. Sequential and Parallel Attack Tree Modelling. Springer 291--299.","DOI":"10.1007\/978-3-319-24249-1_25"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46666-7_6"},{"key":"e_1_3_2_1_5_1","volume-title":"Quantitative Verification and Synthesis of Attack-Defence Scenarios. In IEEE 29th Computer Security Foundations Symposium, CSF. IEEE, 105--119","author":"Aslanyan Z."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1835408.1835411"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"G. Behrmann A. David and K. G. Larsen. 2004. A Tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems Int. School on Formal Methods for the Design of Computer Comm. and Software Systems SFM-RT. Springer 200--236.  G. Behrmann A. David and K. G. Larsen. 2004. A Tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems Int. School on Formal Methods for the Design of Computer Comm. and Software Systems SFM-RT. Springer 200--236.","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.345822"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11962977_19"},{"key":"e_1_3_2_1_10_1","volume-title":"Privilege Graph: An Extension to the Typed Access Matrix Model. In European Symp. on Research in Computer Security (ESORICS)","author":"Dacier M.","year":"1994"},{"key":"e_1_3_2_1_11_1","volume-title":"ATM: A Case Study. In The Practice of Enterprise Modeling - PoEM Proc","author":"Fraile M.","year":"2016"},{"key":"e_1_3_2_1_12_1","volume-title":"The Value of Attack-Defence Diagrams. In Principles of Security and Trust (POST) 5th Int. Conf.","author":"Hermanns H."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.61"},{"key":"e_1_3_2_1_14_1","unstructured":"Isaca. 2012. Cobit 5. ISA.   Isaca. 2012. Cobit 5. ISA."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"W. Jansen. 2010. Directions in security metrics research. (2010).  W. Jansen. 2010. Directions in security metrics research. (2010).","DOI":"10.6028\/NIST.IR.7564"},{"key":"e_1_3_2_1_16_1","unstructured":"S. Jha O. Sheyner and J. Wing. 2002. Two formal analyses of attack graphs. In 15th IEEE Comp. Security Foundations (CSF). IEEE 49--63.   S. Jha O. Sheyner and J. Wing. 2002. Two formal analyses of attack graphs. In 15th IEEE Comp. Security Foundations (CSF). IEEE 49--63."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2014.07.001"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"B. Kordy S. Mauw Sasa Radomirovic and P. Schweitzer. 2010. Foundations of Attack-Defense Trees. In Formal Aspects of Security and Trust (FAST). Springer 80--95.   B. Kordy S. Mauw Sasa Radomirovic and P. Schweitzer. 2010. Foundations of Attack-Defense Trees. In Formal Aspects of Security and Trust (FAST). Springer 80--95.","DOI":"10.1007\/978-3-642-19751-2_6"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37682-5_5"},{"key":"e_1_3_2_1_20_1","unstructured":"R. Kumar D. Guck and M. Stoelinga. 2015. Time Dependent Analysis with Dynamic Counter Measure Trees. arXiv preprint arXiv:1510.00050 (2015).  R. Kumar D. Guck and M. Stoelinga. 2015. Time Dependent Analysis with Dynamic Counter Measure Trees. arXiv preprint arXiv:1510.00050 (2015)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"R. Kumar E. Ruijters and M. Stoelinga. 2015. Quantitative Attack Tree Analysis via Priced Timed Automata. In Formal Modeling and Analysis of Timed Systems (FORMATS). Springer 156--171.  R. Kumar E. Ruijters and M. Stoelinga. 2015. Quantitative Attack Tree Analysis via Priced Timed Automata. In Formal Modeling and Analysis of Timed Systems (FORMATS). Springer 156--171.","DOI":"10.1007\/978-3-319-22975-1_11"},{"key":"e_1_3_2_1_22_1","volume-title":"Quantitative Security and Safety Analysis with Attack-Fault Trees. In Int. Symp. on High Assurance System Engg. (HASE). IEEE, 25--32","author":"Kumar R."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. 23rd Int. Conf. on Computer Aided Verification (CAV'11)","author":"Kwiatkowska M."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.34"},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of the 5th Int. Conf. on The Unified Modeling Language. Springer, 426--441","author":"Lodderstedt T."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11734727_17"},{"key":"e_1_3_2_1_27_1","unstructured":"N. Mead. 2013. SQUARE Process https:\/\/buildsecurityin.us-cert.gov\/articles\/best-practices\/requirements-engineering\/square-process. (2013).  N. Mead. 2013. SQUARE Process https:\/\/buildsecurityin.us-cert.gov\/articles\/best-practices\/requirements-engineering\/square-process. (2013)."},{"key":"e_1_3_2_1_28_1","volume-title":"Efficient Minimum-Cost Network Hardening Via Exploit Dependency Graphs. In Annual Comp. Security App. Conference (ACSAC). IEEE, 86--95","author":"Noel S."},{"key":"e_1_3_2_1_29_1","volume-title":"Symp., SETTA, Proc. Springer, 319--336","author":"Schivo S."},{"key":"e_1_3_2_1_30_1","unstructured":"B. Schneier. 1999. Attack Trees. Dr. Dobb's Journal (1999).  B. Schneier. 1999. Attack Trees. Dr. Dobb's Journal (1999)."},{"key":"e_1_3_2_1_31_1","volume-title":"Automated Generation and Analysis of Attack Graphs. In Symp. on Security and Privacy. IEEE, 273--284","author":"Sheyner O."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2006.06.018"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"L. Wang A. Singhal and S. Jajodia. 2007. Measuring the Overall Security of Network Configurations Using Attack Graphs. In Data and Applications Security (DBSec). Springer 98--112.   L. Wang A. Singhal and S. Jajodia. 2007. Measuring the Overall Security of Network Configurations Using Attack Graphs. In Data and Applications Security (DBSec). Springer 98--112.","DOI":"10.1007\/978-3-540-73538-0_9"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","location":"Pau France","acronym":"SAC 2018","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167336","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:27:00Z","timestamp":1750213620000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167336"}},"subtitle":["a property specification language for security goals"],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":34,"alternative-id":["10.1145\/3167132.3167336","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167336","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}