{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T07:59:26Z","timestamp":1772783966855,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,17]],"date-time":"2008-05-17T00:00:00Z","timestamp":1210982400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,17]]},"DOI":"10.1145\/1370905.1370910","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:36:48Z","timestamp":1210876608000},"page":"33-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Security protocols, properties, and their monitoring"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Bauer","sequence":"first","affiliation":[{"name":"Australian National University, Canberra, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Juerjens","sequence":"additional","affiliation":[{"name":"Open University, Milton Keynes, Great Britain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.481513"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_3_1","volume-title":"USA","author":"Alpern B.","year":"1984","unstructured":"B. Alpern and F. B. Schneider . Defining liveness. Technical report, Ithaca, NY , USA , 1984 .]] B. Alpern and F. B. Schneider. Defining liveness. Technical report, Ithaca, NY, USA, 1984.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782772"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11944836_25"},{"key":"e_1_3_2_1_7_1","volume-title":"Advances in Computers","author":"Biere A.","year":"2003","unstructured":"A. Biere , A. Cimatti , E. Clarke , O. Strichman , and Y. Zhu . Advances in Computers , chapter Bounded model checking. Academic Press , 2003 .]] A. Biere, A. Cimatti, E. Clarke, O. Strichman, and Y. Zhu. Advances in Computers, chapter Bounded model checking. Academic Press, 2003.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , 1999 .]] E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","first-page":"27","volume-title":"CAV","author":"Eisner C.","year":"2003","unstructured":"C. Eisner , D. Fisman , J. Havlicek , Y. Lustig , A. McIsaac , and D. V. Campenhout . Reasoning with temporal logic on truncated paths . In W. A. H. Jr. and F. Somenzi, editors, CAV , volume 2725 of LNCS , pages 27 -- 39 . Springer-Verlag , 2003 .]] C. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. McIsaac, and D. V. Campenhout. Reasoning with temporal logic on truncated paths. In W. A. H. Jr. and F. Somenzi, editors, CAV, volume 2725 of LNCS, pages 27--39. Springer-Verlag, 2003.]]"},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","first-page":"236","volume-title":"CAV","author":"Etessami K.","year":"1999","unstructured":"K. Etessami . Stutter-invariant languages, omega-automata, and temporal logic . In CAV , volume 1633 of LNCS , pages 236 -- 248 . Springer-Verlag , 1999 .]] K. Etessami. Stutter-invariant languages, omega-automata, and temporal logic. In CAV, volume 1633 of LNCS, pages 236--248. Springer-Verlag, 1999.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"DVCon","author":"Foster H.","year":"2005","unstructured":"H. Foster , E. Marschner , and Y. Wolfsthal . IEEE 1850 PSL: The next generation . In DVCon , 2005 .]] H. Foster, E. Marschner, and Y. Wolfsthal. IEEE 1850 PSL: The next generation. In DVCon, 2005.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"On the construction of monitors for temporal logic properties. ENTCS, 55(2)","author":"Geilen M.","year":"2001","unstructured":"M. Geilen . On the construction of monitors for temporal logic properties. ENTCS, 55(2) , 2001 .]] M. Geilen. On the construction of monitors for temporal logic properties. ENTCS, 55(2), 2001.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/645837.670574"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0117-6"},{"key":"e_1_3_2_1_16_1","volume-title":"Design and validation of computer protocols","author":"Holzmann G. J.","year":"1991","unstructured":"G. J. Holzmann . Design and validation of computer protocols . Prentice-Hall , 1991 .]] G. J. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"ICSE","author":"J\u00fcrjens J.","year":"2005","unstructured":"J. J\u00fcrjens . Sound methods and effective tools for model-based security engineering with UML . In ICSE , 2005 .]] J. J\u00fcrjens. Sound methods and effective tools for model-based security engineering with UML. In ICSE, 2005.]]"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","volume-title":"Run-time Verification","author":"J\u00fcrjens J.","year":"2008","unstructured":"J. J\u00fcrjens . Model-based run-time checking of security permissions using guarded objects . In Run-time Verification , Lecture Notes in Computer Science , 2008 .]] J. J\u00fcrjens. Model-based run-time checking of security permissions using guarded objects. In Run-time Verification, Lecture Notes in Computer Science, 2008.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102155"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_38"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151030.1151053"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_25_1","volume-title":"Security Patterns: Integrating Security and Systems Engineering","author":"Schumacher M.","year":"2006","unstructured":"M. Schumacher , E. Fernandez-Buglioni , D. Hybertson , F. Buschmann , and P. Sommerlad . Security Patterns: Integrating Security and Systems Engineering . Wiley , 2006 .]] M. Schumacher, E. Fernandez-Buglioni, D. Hybertson, F. Buschmann, and P. Sommerlad. Security Patterns: Integrating Security and Systems Engineering. Wiley, 2006.]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211865"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244327"},{"key":"e_1_3_2_1_28_1","unstructured":"Umlsec tool 2001-08. http:\/\/computing-research.open.ac.uk\/jj\/ umlsectool.]]  Umlsec tool 2001-08. http:\/\/computing-research.open.ac.uk\/jj\/ umlsectool.]]"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany","acronym":"ICSE '08","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the fourth international workshop on Software engineering for secure systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370905.1370910","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370905.1370910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:53Z","timestamp":1750255073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370905.1370910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,17]]},"references-count":27,"alternative-id":["10.1145\/1370905.1370910","10.1145\/1370905"],"URL":"https:\/\/doi.org\/10.1145\/1370905.1370910","relation":{},"subject":[],"published":{"date-parts":[[2008,5,17]]},"assertion":[{"value":"2008-05-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}