{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:40:23Z","timestamp":1725518423480},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540858447"},{"type":"electronic","value":"9783540858454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85845-4_4","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T06:57:04Z","timestamp":1222066624000},"page":"30-37","source":"Crossref","is-referenced-by-count":0,"title":["Automating Interactive Protocol Verification"],"prefix":"10.1007","author":[{"given":"Lassaad","family":"Cheikhrouhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Nonnengart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Koob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Advanced Security Mechanisms for Machine Readable Travel Documents \u2013 Extended Access Control (EAC) \u2013 Version 1.11 Technical Guideline TR-03110, Federal Office for Information Security (BSI)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Transactions on Information Theory\u00a02(29) (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security\u00a06, 85\u2013128 (1998)","journal-title":"Journal of Computer Security"},{"key":"4_CR4","volume-title":"Proceedings of the FLAIRS 2000","author":"D. Hutter","year":"2000","unstructured":"Hutter, D., Rock, G., Siekmann, J.H., Stephan, W., Vogt, R.: Formal Software Development in the Verification Support Environment (VSE). In: Manaris, B., Etheredge, J. (eds.) Proceedings of the FLAIRS 2000. AAAI Press, Menlo Park (2000)"},{"key":"4_CR5","unstructured":"Denker, G., Millen, J., Rue\u00df, H.: The CAPSL Integrated Protocol Environment. SRI Technical Report SRI-CSL-2000-02 (October 2000)"},{"key":"4_CR6","unstructured":"Formal Verification of the Cryptographic Protocols for Extended Access Control on Machine Readable Travel Documents. Technical Report, German Research Center for Artificial Intelligence and Federal Office for Information Security"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/11875567_4","volume-title":"Computer Safety, Reliability, and Security","author":"L. Cheikhrouhou","year":"2006","unstructured":"Cheikhrouhou, L., Rock, G., Stephan, W., Schwan, M., Lassmann, G.: Verifying a chip-card-based biometric identification protocol in VSE. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 42\u201356. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","KI 2008: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85845-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:51:31Z","timestamp":1619524291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85845-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540858447","9783540858454"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85845-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}