{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:14:46Z","timestamp":1790925286257,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540687450","type":"print"},{"value":"9783540687467","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68746-7_9","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:37:54Z","timestamp":1217471874000},"page":"72-91","source":"Crossref","is-referenced-by-count":7,"title":["Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets"],"prefix":"10.1007","author":[{"given":"Roland","family":"Bouroulet","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raymond","family":"Devillers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elisabeth","family":"Pelz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","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.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Blanchet, B.: Analyzing security protocols with secrecy types and logic programs. Journal of the ACM\u00a052(1) (2005)","DOI":"10.1145\/1044731.1044735"},{"key":"9_CR3","volume-title":"The Spi calculus","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Gordon, A.: A calculus for cryptographic protocols. In: The Spi calculus. ACM Conference on Computers and Communication Security. ACM Press, New York (1997)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). Journal of Cryptology\u00a015(2) (2002)","DOI":"10.1007\/s00145-001-0014-7"},{"key":"9_CR5","unstructured":"Al-Azzoni, I., Down, D.G., Khedri, R.: Modelling and verification of cryptographic protocols using coloured Petri nets and Design\/CPN. Nordic Journal of Computing\u00a012(3) (2005)"},{"key":"9_CR6","volume-title":"EATCS Monographs on TCS","author":"E. Best","year":"2001","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. In: EATCS Monographs on TCS. Springer, Heidelberg (2001)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Best, E., Fra\u0327czak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets: an algebra of high level Petri nets, with an application to the semantics of concurrent programming languages. Acta Informatica\u00a035 (1998)","DOI":"10.1007\/s002360050144"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: A computationally sound mechanized prover for security protocols. In: IEEE Symposium on Security and Privacy (2006)","DOI":"10.1109\/SP.2006.1"},{"key":"9_CR9","volume-title":"ACSD 2004","author":"R. Bouroulet","year":"2004","unstructured":"Bouroulet, R., Klaudel, H., Pelz, E.: A semantics of Security Protocol Language (SPL) using a class of composable high-level Petri nets. In: ACSD 2004. IEEE Computer Society, Los Alamitos (2004)"},{"key":"9_CR10","volume-title":"ACSD 2006","author":"R. Bouroulet","year":"2006","unstructured":"Bouroulet, R., Klaudel, H., Pelz, E.: Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). In: ACSD 2006. IEEE Computer Society, Los Alamitos (2006)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1993","author":"S. Christensen","year":"1993","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691. Springer, Heidelberg (1993)"},{"key":"9_CR12","unstructured":"Clark, J., Jacob, J.: A survey of authentication protocol literature: Version 1.0 (1997), http:\/\/www.cs.york.ac.uk\/jac\/papers\/drareview.ps.gz"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-540-31987-0_12","volume-title":"Programming Languages and Systems","author":"V. Cortier","year":"2005","unstructured":"Cortier, V., Warinschi, B.: Computationally sound, automated proofs for security protocols. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 157\u2013171. Springer, Heidelberg (2005)"},{"key":"9_CR14","volume-title":"ACM Conf on Computer and Communications Security","author":"F. Crazzolara","year":"2001","unstructured":"Crazzolara, F., Winskel, G.: Events in security protocols. In: ACM Conf on Computer and Communications Security. ACM Press, New York (2001)"},{"key":"9_CR15","volume-title":"DISCEX 2000","author":"G. Denker","year":"2000","unstructured":"Denker, G., Millen, J.: CAPSL Integrated Protocol Environment. In: DISCEX 2000. IEEE Computer Society, Los Alamitos (2000)"},{"key":"9_CR16","unstructured":"Dill, D.L., Drexler, A.J., Hu, A.J., Han Yang, C.: Protocol Verification as a Hardware Design Aid. In: IEEE International Conference on Computer Design: VLSI in Computers and Processors (1992)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory IT-29 12 (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"9_CR18","unstructured":"Donovan, B., Norris, P., Lowe, G.: Analyzing a library of security protocols using Casper and FDR. In: Workshop on Formal Methods and Security Protocols (1999)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/11494744_26","volume-title":"Applications and Theory of Petri Nets 2005","author":"S. Evangelista","year":"2005","unstructured":"Evangelista, S.: High Level Petri Nets Analysis with Helena. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 455\u2013464. Springer, Heidelberg (2005), http:\/\/helena.cnam.fr\/"},{"key":"9_CR20","volume-title":"IEEE Computer Security Foundations Workshop","author":"A. Gordon","year":"2001","unstructured":"Gordon, A., Jeffrey, A.: Authenticity by Typing for Security Protocols. In: IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"9_CR21","volume-title":"Operating Systems Review","author":"I.-L. Kao","year":"1995","unstructured":"Kao, I.-L., Chow, R.: An efficient and secure authentication protocol using uncertified keys. In: Operating Systems Review, vol.\u00a029(3), ACM Press, New York (1995)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Kremer, S., Raskin, J.-F.: A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols. Journal of Computer Security\u00a011(3) (2003)","DOI":"10.3233\/JCS-2003-11307"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Lowe, G.: An attack on the Needham-Schroeder public key authentication protocol. Information Processing Letters\u00a056(3) (1995)","DOI":"10.1016\/0020-0190(95)00144-2"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","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.\u00a01055. Springer, Heidelberg (1996)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Meadows, C.: Formal Methods for Cryptographic Protocol Analysis: Emerging Issues and Trends. IEEE Journal on Selected Areas in Communication\u00a021(1) (2003)","DOI":"10.1109\/JSAC.2002.806125"},{"key":"9_CR26","volume-title":"Communicating and mobile systems: The \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: The \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"9_CR27","volume-title":"IEEE Symposium on Security and Privacy","author":"J.C. Mitchell","year":"1997","unstructured":"Mitchell, J.C., Mitchell, M., Stern, U.: Automated Analysis of Cryptographic Protocols Using Mur\u03d5. In: IEEE Symposium on Security and Privacy. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Needham, R.M., Schroeder, M.D.: Using Encrypton for Authentication in Large Networks of Computers. Comm. of the ACM\u00a021(12) (1978)","DOI":"10.1145\/359657.359659"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Cryptology - AUSCRYPT \u201992","author":"B.B. Nieh","year":"1993","unstructured":"Nieh, B.B., Tavares, S.E.: Modelling and Analyzing Cryptographic Protocols Using Petri Nets. In: Zheng, Y., Seberry, J. (eds.) AUSCRYPT 1992. LNCS, vol.\u00a0718. Springer, Heidelberg (1993)"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Rivest, R.L., Shamir, A., Adleman, L.: A method for obtaining digital signatures and public-key cryptosystem. Comm. of the ACM\u00a021(2) (1978)","DOI":"10.1145\/359340.359342"},{"key":"9_CR31","volume-title":"Applied Cryptography","author":"B. Schneier","year":"1996","unstructured":"Schneier, B.: Applied Cryptography. Wiley, Chichester (1996)"},{"key":"9_CR32","unstructured":"Thayer, F., Herzog, J.C., Guttman, J.D.: Strand Spaces: Why is a Security Protocol Correct? In: IEEE Symposium on Security and Privacy (1998)"},{"key":"9_CR33","volume-title":"CSFW 1999","author":"D. Song","year":"1999","unstructured":"Song, D.: Athena: A new efficient automatic checker for security protocol analysis. In: CSFW 1999. IEEE Computer Society Press, Los Alamitos (1999)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68746-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T21:55:56Z","timestamp":1557698156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68746-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540687450","9783540687467"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68746-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}