{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:52:20Z","timestamp":1742946740995,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":26,"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_4","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T17:55:18Z","timestamp":1240077318000},"page":"49-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Specification of Security and Dependability Properties"],"prefix":"10.1007","author":[{"given":"Sigrid","family":"G\u00fcrgens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gimena","family":"Pujol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"key":"4_CR1_4","unstructured":"Barras B, Boutin S, Cornes C, Courant J, Filliatre J, Gim\u00e9nez E, Herbelin H, Huet G, noz CM, Murthy C, Parent C, Paulin C, Sa\u00efbi A, Werner B (1997) The Coq Proof Assistant Reference Manual \u2013 Version V6.1. Tech. Rep. 0203, INRIA"},{"key":"4_CR2_4","doi-asserted-by":"crossref","unstructured":"Bellare M, Canetti R, Krawczyk H (1998) A modular approach to the design and analysis of authentication and key exchange protocols. In: 30th Annual Symposium on the Theory of Computing, ACM","DOI":"10.1145\/276698.276854"},{"key":"4_CR3_4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.cl.2004.02.005","volume":"30","author":"A Bossi","year":"2004","unstructured":"Bossi A, Focardi R, Piazza C, Rossi S (2004) Verifying Persistent Security Properties. Computer Languages, Systems and Structures 30:231\u2013258","journal-title":"Computer Languages, Systems and Structures"},{"key":"4_CR4_4","doi-asserted-by":"crossref","unstructured":"Boyd C (1993) Security Architectures Using Formal Methods. IEEE Journal on Selected Areas in Communication 11(5)","DOI":"10.1109\/49.223872"},{"key":"4_CR5_4","doi-asserted-by":"crossref","unstructured":"Burrows M, Abadi M, Needham R (1990) A Logic of Authentication. ACM Transactions on Computer Systems 8","DOI":"10.1145\/77648.77649"},{"key":"4_CR6_4","unstructured":"Cohen M, Dam M (2005) Logical Omniscience in the Semantics of BAN Logics. In: Foundations of Computer Security FCS'05, pp 121\u2013132"},{"key":"4_CR7_4","doi-asserted-by":"crossref","unstructured":"Cortier V, Rusinowitch M, Zalinescu E (2005) Relating two standard notions of secrecy. In: Computer Science Logic, Szeged (Hungary), pp 25\u201319","DOI":"10.1007\/11874683_20"},{"key":"4_CR8_4","unstructured":"Dolinar K, Fuchs A, G\u00fcrgens S, Rudolph C (2008) SERENITY Project, A3 Deliverable \u2013 A3.D2.2 S&D requirements for networks and devices. EU IST IP 6th Framework Programme SERENITY 27587"},{"key":"4_CR9_4","volume-title":"Automata, Languages and Machines","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg S (1974) Automata, Languages and Machines. Academic Press, New York"},{"key":"4_CR10_4","unstructured":"Evans N (2001) A practical introduction to using CSP and PVS to prove authentication properties of security protocols. In: Proceedings of Verify 2001, Lecture Notes in Computer Science"},{"key":"4_CR11_4","unstructured":"Focardi R (1996) Comparing Two Information Flow Security Properties. In: Proceedings of the 9 Computer Security Foundations Workshop, IEEE Computer Society"},{"key":"4_CR12_4","doi-asserted-by":"crossref","unstructured":"Focardi R, Gorrieri R (2001) Classification of Security Properties. Part I: Information Flow. In Foundations of Security Analysis and Design (RFocardi, RGorrieri eds) LNCS 2171:331\u2013396","DOI":"10.1007\/3-540-45608-2_6"},{"key":"4_CR13_4","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/CSFW.1995.518553","volume-title":"Proceedings of Eighth IEEE Computer Security Foundations Workshop (CSFW'95)","author":"R Focardi","year":"1995","unstructured":"Focardi R, Gorrieri R, Panini V (1995) The Security Checker: a Semantics-based Tool for the Verification of Security Properties. In: Ed LG (ed) Proceedings of Eighth IEEE Computer Security Foundations Workshop (CSFW'95), IEEE Press, Kenmare (Ireland), pp 60\u201369"},{"issue":"3","key":"4_CR14_4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0304-3975(02)00365-1","volume":"291","author":"R Focardi","year":"2003","unstructured":"Focardi R, Gorrieri R, Martinelli F (2003) A Comparison of Three Authentication Properties. Theoretical Computer Science 291(3):219\u2013388","journal-title":"Theoretical Computer Science"},{"key":"4_CR15_4","doi-asserted-by":"crossref","unstructured":"Focardi R, Gorrieri R, Martinelli F (2004) Classification of Security Properties (Part II: Network Security). Lecture notes in computer science","DOI":"10.1007\/978-3-540-24631-2_4"},{"issue":"5","key":"4_CR16_4","first-page":"457","volume":"27","author":"S G\u00fcrgens","year":"2005","unstructured":"G\u00fcrgens S, Ochsenschl\u00e4ger P, Rudolph C (2005) On a formal framework for security properties. International Computer Standards & Interface Journal (CSI), Special issue on formal methods, techniques and tools for secure and reliable applications 27(5):457\u2013466","journal-title":"International Computer Standards & Interface Journal (CSI), Special issue on formal methods, techniques and tools for secure and reliable applications"},{"key":"4_CR17_4","volume-title":"Communicating Sequential Process","author":"C Hoare","year":"1985","unstructured":"Hoare C (1985) Communicating Sequential Process. London: Prentice-Hall International, UK, LTD."},{"key":"4_CR18_4","unstructured":"ISO\/IEC (1996) ISO\/IEC 14977 Information technology \u2013 Syntactic metalanguage \u2013 Extended BNF"},{"key":"4_CR19_4","unstructured":"Jacob J (1988) Security Specifications. In: Proceedings of the 1988 IEEE Symposium on Research in Security arid Privacy, IEEE Press"},{"key":"4_CR20_4","doi-asserted-by":"crossref","unstructured":"Lowe G (1997) A hierarchy of authentication specifications. In: Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW'97), IEEE Society Press, pp 31\u201343","DOI":"10.1109\/CSFW.1997.596782"},{"key":"4_CR21_4","doi-asserted-by":"crossref","unstructured":"Mantel H (2000) Possibilistic Definitions of Security \u2013 an Assembly Kit. In: Proceedings of the IEEE Computer Security Foundations Workshop, pp 185\u2013199","DOI":"10.1109\/CSFW.2000.856936"},{"key":"4_CR22_4","unstructured":"McLean J (1994) A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions. In: Proceedings of the 1994 IEEE Symposium on Security and Privacy, IEEE Press"},{"key":"4_CR23_4","unstructured":"Menezes A, van Oorschot P, Vanstone S (1996) Handbook of Applied Cryptography. CRC Press"},{"key":"4_CR24_4","unstructured":"Pujol G, et al (2008) SERENITY Project, A5 Deliverable \u2013 A5.D3.2 Security Properties Specification Language (final version) and Property Reasoning Mechanisms. EU IST IP 6th Framework Programme SERENITY 27587"},{"key":"4_CR25_4","unstructured":"Schneider S (1996) Security properties and CSP. In: Proceedings of the 1996 IEEE Symposium on Security and Privacy, IEEE Press"},{"key":"4_CR26_4","unstructured":"Zakinthinos A, Lee E (1997) A General Theory of Security Properties. In: Proceedings of the 18th IEEE Computer Society Symposium on Research in Security and Privacy"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T14:36:03Z","timestamp":1675089363000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-88775-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387887746","9780387887753"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-88775-3_4","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"}}]}}