{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:03:52Z","timestamp":1786979032519,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540245612","type":"print"},{"value":"9783540318101","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31810-1_12","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T10:43:49Z","timestamp":1267440229000},"page":"171-188","source":"Crossref","is-referenced-by-count":13,"title":["Checking Secrecy by Means of Partial Order Reduction"],"prefix":"10.1007","author":[{"given":"Cas J. F.","family":"Cremers","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Clark, J., Jacob, J.: A survey of authentication protocol literature. Technical Report 1.0 (1997)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/3-540-46419-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Jha, S., Marrero, W.: Partial order reductions for security protocol verification. Tools and Algorithms for the Construction and Analysis of Systems. Volume 1785 of Lecture Notes in Computer Science, Springer (2000) 503\u2013518"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45789-5_24","volume-title":"Static Analysis","author":"R. Corin","year":"2002","unstructured":"Corin, R., Etalle, S.: An improved constraint-based system for the verification of security protocols. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 326\u2013341. Springer, Heidelberg (2002), \n                    \n                      http:\/\/www.ub.utwente.nl\/webdocs\/ctit\/1\/00000096.pdf"},{"key":"12_CR4","unstructured":"Cremers, C.: Scyther documentation (2004), \n                    \n                      http:\/\/www.win.tue.nl\/~ccremers\/scyther"},{"key":"12_CR5","unstructured":"Cremers, C., Mauw, S., de Vink, E.: Defining authentication in a trace model. In: Dimitrakos, T., Martinelli, F. (eds.) FAST 2003 Proceedings of the first international Workshop on Formal Aspects in Security and Trust, Pisa, IITT-CNR technical report, pp. 131\u2013145 (2003)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"IT-29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a0IT-29, 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/CSFW.1997.596779","volume-title":"Proc. 10th Computer Security Foundations Workshop","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. In: Proc. 10th Computer Security Foundations Workshop, pp. 18\u201330. IEEE, Los Alamitos (1997)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/CSFW.1997.596782","volume-title":"Proc. 10th Computer Security Foundations Workshop","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: Proc. 10th Computer Security Foundations Workshop, pp. 31\u201344. IEEE, Los Alamitos (1997)"},{"key":"12_CR9","first-page":"87","volume":"22","author":"S. Mauw","year":"2001","unstructured":"Mauw, S., Bos, V.: Drawing Message Sequence Charts with LATEX. TUGBoat\u00a022, 87\u201392 (2001)","journal-title":"TUGBoat"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Millen, J., Shmatikov, V.: Constraint solving for bounded-process cryptographic protocol analysis. In: ACM Conference on Computer and Communications Security, pp. 166\u2013175 (2001)","DOI":"10.1145\/501983.502007"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0028727","volume-title":"Proceedings of the 10th International Conference on Computer Aided Verification","author":"D. Peled","year":"1998","unstructured":"Peled, D.: Ten years of partial order reduction. In: Proceedings of the 10th International Conference on Computer Aided Verification, pp. 17\u201328. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31810-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:27:17Z","timestamp":1605742037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31810-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540245612","9783540318101"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31810-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}