{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:33:36Z","timestamp":1742967216900,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":24,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387887746"},{"type":"electronic","value":"9780387887753"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-0-387-88775-3_9","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T17:55:18Z","timestamp":1240077318000},"page":"143-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Verification of S&D Solutions for Network Communications and Devices"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Rudolph","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Compagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Carbone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Mu\u00f1oz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Repp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"key":"9_CR1_9","doi-asserted-by":"crossref","unstructured":"Armando A, Basin D, Boichut Y, Chevalier Y, Compagna L, Cuellar J, Drielsma PH, He\u00e1m P, Kouchnarenko O, Mantovani J, M\u00f6dersheim S, von Oheimb D, Rusinowitch M, Santiago J, Turuani M, Vigan\u00f2 L, Vigneron L (2005) The Avispa tool for the automated validation of internet security protocols and applications. In: Proceedings of CAV 2005, Computer Aided Verification, Springer Verlag, Lecture Notes in Computer Science, vol 3576","DOI":"10.1007\/11513988_27"},{"key":"9_CR2_9","volume-title":"Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF20), July 6\u20138, 2007","author":"A Armando","year":"2007","unstructured":"Armando A, Carbone R, Compagna L (2007) LTL Model Checking for Security Protocols. In: Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF20), July 6\u20138, 2007, Venice, Italy, Springer Verlag, LNCS"},{"key":"9_CR3_9","doi-asserted-by":"crossref","unstructured":"Armando A, Carbone R, Compagna L, Cuellar J, Tobarra L (2008) Formal analysis of saml 2.0 web browser single sign-on: Breaking the saml-based single sign-on for google apps. In: Proceedings of FMSE 2008, Formal Methods in Security Engineering, ACM","DOI":"10.1145\/1456396.1456397"},{"key":"9_CR4_9","unstructured":"AVANTSSAR (2008) The AVANTSSAR Project. www.avantssar.eu\/"},{"key":"9_CR5_9","unstructured":"AVISPA (2007) The AVISPA Project. www.avispa-project.org\/"},{"key":"9_CR6_9","doi-asserted-by":"crossref","unstructured":"Bella G, Paulson L (2001) Mechanical proofs about a non-repudiation protocol. In: Proceedings of 14th International Conference on Theorem Proving in Higher Order Logic, Springer Verlag, Lecture Notes in Computer Science, vol 2152, pp 91\u2013104","DOI":"10.1007\/3-540-44755-5_8"},{"key":"9_CR7_9","doi-asserted-by":"crossref","unstructured":"Bellare M, Desai A, Pointcheval D, Rogaway P (1998) Relations among notions of security for public-key encryption schemes. In: Krawczyk H (ed) Advances in Cryptology \u2013 Crypto 98, Springer Verlag, Lecture Notes in Computer Science, pp 26\u201345","DOI":"10.1007\/BFb0055718"},{"key":"9_CR8_9","first-page":"82","volume-title":"14th IEEE Computer Security Foundations Workshop (CSFW-14)","author":"B Blanchet","year":"2001","unstructured":"Blanchet B (2001) An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: 14th IEEE Computer Security Foundations Workshop (CSFW-14), IEEE Computer Society, Cape Breton, Nova Scotia, Canada, pp 82\u201396"},{"key":"9_CR9_9","unstructured":"Bundesamt f\u00fcr Sicherheit in der Informationstechnik (BSI) (2008) Itgrundschutz-kataloge. URL: http:\/\/www.bsi.de\/gshb\/deutsch\/index.htm"},{"key":"9_CR10_9","doi-asserted-by":"crossref","unstructured":"Cervesato I, Jaggard AD, Scedrov A, Tsay JK, Walstad C (2008) Breaking and fixing public-key kerberos. Inf Comput 206(2\u20134):402\u2013424, DOI http:\/\/dx.doi.org\/10.1016\/j.ic.2007.05.005","DOI":"10.1016\/j.ic.2007.05.005"},{"key":"9_CR11_9","unstructured":"Chevalier Y, Compagna L, Cuellar J, Hankes Drielsma P, Mantovani J, M\u00f6dersheim S, Vigneron L (2004) A high level protocol specification language for industrial security-sensitive protocols. In: Proceedings of Workshop on Specification and Automated Processing of Security Requirements (SAPS), Linz, Austria, (13 pages)"},{"key":"9_CR12_9","unstructured":"Cremers C (2006) Scyther \u2013 semantics and verification of security protocols. Ph.D. dissertation, Eindhoven University of Technology"},{"key":"9_CR13_9","doi-asserted-by":"crossref","unstructured":"Dierks T, Allen C (1999) RFC 2246: The TLS Protocol Version 1.0. IETF \u2013 Standard Track","DOI":"10.17487\/rfc2246"},{"key":"9_CR14_9","doi-asserted-by":"crossref","unstructured":"Dolev D, Yao A (1983) On the Security of Public-Key Protocols. IEEE Transactions on Information Theory 2(29)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"9_CR15_9","unstructured":"Google (2008) Web-based reference implementation of SAML-based SSO for Google Apps. \n                      http : \/\/code.google.com\/apis\/apps\/sso\/samlreferenceimplementationweb.html"},{"key":"9_CR16_9","doi-asserted-by":"crossref","unstructured":"G\u00fcrgens S, Rudolph C (2004) Security Analysis of (Un-) Fair Non-repudiation Protocols. Formal aspects of computing","DOI":"10.1007\/978-3-540-40981-6_10"},{"key":"9_CR17_9","doi-asserted-by":"crossref","unstructured":"G\u00fcrgens S, Ochsenschl\u00e4ger P, Rudolph C (2002) Role based specification and security analysis of cryptographic protocols using asynchronous product automata. In: DEXA 2002 International Workshop on Trust and Privacy in Digital Business, IEEE","DOI":"10.1109\/DEXA.2002.1045943"},{"key":"9_CR18_9","unstructured":"J\u00fcrjens J (2005) Secure Systems Development with UML. Springer Verlag"},{"key":"9_CR19_9","unstructured":"OASIS (2005) Security Assertion Markup Language (SAML) v2.0. Available at \n                      http :\/\/www.oasis \u2013 open.org\/committees\/tchome.php?wgabbrev = security"},{"key":"9_CR20_9","first-page":"1","volume":"11","author":"P Ochsenschl\u00e4ger","year":"1999","unstructured":"Ochsenschl\u00e4ger P, Repp J, Rieke R, Nitsche U (1999) The SH-Verification Tool \u2013 Abstraction-Based Verification of Co-operating Systems. Formal Aspects of Computing, The Int Journal of Formal Methods 11:1\u201324","journal-title":"The Int Journal of Formal Methods"},{"key":"9_CR21_9","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1080\/095281300454829","volume":"12","author":"P Ochsenschl\u00e4ger","year":"2000","unstructured":"Ochsenschl\u00e4ger P, Repp J, Rieke R (2000) Abstraction and composition \u2013 a verification method for co-operating systems. Journal of Experimental and Theoretical Artificial Intelligence 12:447\u2013459","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"9_CR22_9","unstructured":"Paulson L (1996) Proving Properties of Security Protocols by Induction. Tech. Rep. 409, Computer Laboratory, University of Cambridg"},{"key":"9_CR23_9","unstructured":"Polk WT, Dodson DF, Burr WE (2007) NIST Special Publication 800-78-1, Cryptographic Algorithms and Key Sizes for PIV. http:\/\/csrc.nist.gov\/publications\/nistpubs\/800-78-1\/SP-800-78-1_final2.pdf"},{"key":"9_CR24_9","unstructured":"The AVISPA Project (2007) Analysis of the tls protocol. www.avispa-project.org\/library\/TLS.html"}],"container-title":["Advances in Information Security","Security and Dependability for Ambient Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-88775-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T22:36:55Z","timestamp":1674167815000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-88775-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387887746","9780387887753"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-88775-3_9","relation":{},"ISSN":["1568-2633"],"issn-type":[{"type":"print","value":"1568-2633"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"31 March 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}