{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:11:21Z","timestamp":1746245481249,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642552236"},{"type":"electronic","value":"9783642552243"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-55224-3_22","type":"book-chapter","created":{"date-parts":[[2014,5,5]],"date-time":"2014-05-05T20:44:02Z","timestamp":1399322642000},"page":"224-234","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Parallel Bounded Model Checking of Security Protocols"],"prefix":"10.1007","author":[{"given":"Miros\u0142aw","family":"Kurkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Siedlecka-Lamch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabina","family":"Szymoniak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henryk","family":"Piech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,6]]},"reference":[{"key":"22_CR1","series-title":"LNCS","first-page":"281","volume-title":"CAV 2005","author":"A Armando","year":"2005","unstructured":"Armando, A., et al.: The avispa tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/JSAC.2002.806133","volume":"20","author":"G Bella","year":"2003","unstructured":"Bella, G., Massacci, F., Paulson, L.C.: Verifying the set registration protocols. IEEE J. Sel. Areas Commun. 20(1), 77\u201387 (2003)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"22_CR3","unstructured":"Bella, G., Paulson, L.C.: Using Isabelle to prove properties of the kerberos authentication system. In: Orman, H., Meadows, C. (eds.) Proceedings of the DIMACS Workshop (1997)"},{"issue":"4","key":"22_CR4","first-page":"865","volume":"42","author":"J Bobulski","year":"2012","unstructured":"Bobulski, J., Kubanek, M.: Person identification system using an identikit picture of the suspect. Opt. Appl. 42(4), 865\u2013873 (2012)","journal-title":"Opt. Appl."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, E.: Taps: A first-order verifier for cryptographic protocols. In: CSFW\u201900: Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW\u201900), p. 144, Washington, DC, USA, IEEE Computer Society (2000)","DOI":"10.1109\/CSFW.2000.856933"},{"key":"22_CR6","series-title":"LNCS","first-page":"99","volume-title":"ESOP 2003","author":"H Comon-Lundh","year":"2003","unstructured":"Comon-Lundh, H., Cortier, V.: Security properties: two agents are sufficient. In: Degano, P. (ed.) ESOP 2003. LNCS, vol. 2618, pp. 99\u2013113. Springer, Heidelberg (2003)"},{"key":"22_CR7","series-title":"Information Security and Cryptography","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-78636-8","volume-title":"Operational Semantics and Verification of Security Protocols","author":"C Cremers","year":"2012","unstructured":"Cremers, C., Mauw, S.: Operational Semantics and Verification of Security Protocols. Information Security and Cryptography, pp. 1\u2013155. Springer, Berlin (2012)"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013207 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"1\u20134","key":"22_CR9","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FUN-2008-851-422","volume":"85","author":"M Kacprzak","year":"2008","unstructured":"Kacprzak, M., et al.: Verics 2007 - a model checker for knowledge and real-time. Fundam. Inform. 85(1\u20134), 313\u2013328 (2008)","journal-title":"Fundam. Inform."},{"issue":"3\u20134","key":"22_CR10","first-page":"453","volume":"79","author":"M Kurkowski","year":"2007","unstructured":"Kurkowski, M., Penczek, W.: Verifying security protocols modeled by networks of automata. Fund. Inform. 79(3\u20134), 453\u2013471 (2007)","journal-title":"Fund. Inform."},{"issue":"1\u20133","key":"22_CR11","first-page":"245","volume":"93","author":"M Kurkowski","year":"2009","unstructured":"Kurkowski, M., Penczek, W.: Verifying timed security protocols via translation to timed automata. Fund. Inform. 93(1\u20133), 245\u2013259 (2009)","journal-title":"Fund. Inform."},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1201\/b13055-12","volume-title":"Handbook of Finite State Based Models and Applications","author":"M Kurkowski","year":"2012","unstructured":"Kurkowski, M., Penczek, W.: Applying timed automata to model checking of security protocols. In: Wang, J. (ed.) Handbook of Finite State Based Models and Applications, pp. 223\u2013254. CRC Press, Boca Raton (2012)"},{"key":"22_CR13","series-title":"LNCS","first-page":"147","volume-title":"TACAS 1996","author":"G Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the needham-schroeder public-key protocol using fdr. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"issue":"2","key":"22_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C Meadows","year":"1996","unstructured":"Meadows, C.: The nrl protocol analyzer: an overview. J. Logic Program. 26(2), 13\u2013131 (1996)","journal-title":"J. Logic Program."},{"issue":"12","key":"22_CR15","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978)","journal-title":"Commun. ACM"},{"issue":"3","key":"22_CR16","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/322510.322530","volume":"2","author":"LC Paulson","year":"1999","unstructured":"Paulson, L.C.: Inductive analysis of the internet protocol tls. ACM Trans. Inf. Syst. Secur. 2(3), 332\u2013351 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"22_CR17","unstructured":"Siedlecka-Lamch, O., et al.: A New Effective Approach for Modelling and Verification of Security Protocols. In: Proceedings of CS&P\u20192012 Humboldt University Press, Berlin, Germany, pp. 191\u2013202 (2012)"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-55224-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T19:50:14Z","timestamp":1746215414000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-55224-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642552236","9783642552243"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-55224-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}