{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:20:38Z","timestamp":1742912438441,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642128073"},{"type":"electronic","value":"9783642128080"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12808-0_2","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T06:12:27Z","timestamp":1284963147000},"page":"11-23","source":"Crossref","is-referenced-by-count":2,"title":["Executable Specification of Cryptofraglets in Maude for Security Verification"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marinella","family":"Petrocchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-45133-4_6","volume-title":"Formal Approaches to Agent-Based Systems","author":"J. Baalen Van","year":"2003","unstructured":"Van Baalen, J., B\u00f6hne, T.: Automated protocol analysis in Maude. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol.\u00a02699, pp. 68\u201378. Springer, Heidelberg (2003)"},{"key":"2_CR2","unstructured":"The BIONETS website, \n                    \n                      http:\/\/www.bionets.eu\/"},{"key":"2_CR3","first-page":"55","volume-title":"Proc.\u00a0CSFW-12","author":"I. Cervesato","year":"1999","unstructured":"Cervesato, I., Durgin, N., Lincoln, P.D., Mitchell, J.C., Scedrov, A.: A meta-notation for protocol analysis. In: Proc.\u00a0CSFW-12, pp. 55\u201369. IEEE, Los Alamitos (1999)"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1145\/363516.363528","volume":"9","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Jha, S., Marrero, W.: Verifying security protocols with Brutus. ACM Transactions on Software Engineering and Methodology\u00a09(4), 443\u2013487 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"2_CR6","unstructured":"Denker, G., Meseguer, J., Talcott, C.: Protocol specification and analysis in Maude. In: Formal Methods and Security Protocols (1998)"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"2_CR8","series-title":"ENTCS","first-page":"119","volume-title":"Proc\u00a0VODCA 2004","author":"L. Egidi","year":"2005","unstructured":"Egidi, L., Petrocchi, M.: Modelling a secure agent with team automata. In: Proc\u00a0VODCA 2004. ENTCS, pp. 119\u2013134. Elsevier, Amsterdam (2005)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1007\/3-540-48119-2_44","volume-title":"FM\u201999 - Formal Methods","author":"R. Focardi","year":"1999","unstructured":"Focardi, R., Martinelli, F.: A uniform approach for the definition of security properties. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 794\u2013813. Springer, Heidelberg (1999)"},{"key":"2_CR10","unstructured":"FRAGLETS website (last access: 18\/06\/2009), \n                    \n                      http:\/\/www.fraglets.net"},{"key":"#cr-split#-2_CR11.1","unstructured":"Lenzini, G., Gnesi, S., Latella, D.: Spider: a Security Model Checker. In: Proc.\u00a0FAST 2003, pp. 163-180 (2003)"},{"key":"#cr-split#-2_CR11.2","unstructured":"Also, Technical Report\u00a0ITT-CNR-10, Informal proceedings (2003)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","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, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"2_CR13","first-page":"14","volume-title":"Proc.\u00a0CSFW 1999","author":"N. Lynch","year":"1999","unstructured":"Lynch, N.: I\/O automaton models and proofs for shared-key communication systems. In: Proc.\u00a0CSFW 1999, pp. 14\u201331. IEEE, Los Alamitos (1999)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Petrocchi, M.: Access control mechanisms for fraglets. In: BIONETICS, ICST (2007)","DOI":"10.4108\/ICST.BIONETICS2007.2458"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Petrocchi, M.: Signed and weighted trust credentials for fraglets. In: BIONETICS, ICST (2008)","DOI":"10.4108\/ICST.BIONETICS2008.4755"},{"key":"2_CR16","unstructured":"Maude System website (last access: 18\/06\/2009), \n                    \n                      http:\/\/maude.cs.uiuc.edu\/"},{"key":"2_CR17","unstructured":"McCombs, T.: Maude 2.0 Primer (2003), \n                    \n                      http:\/\/maude.cs.uiuc.edu\/download\/"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Logic","author":"J. Meseguer","year":"1997","unstructured":"Meseguer, J.: Research directions in rewriting logic. In: Computational Logic. LNCS, vol.\u00a0165, Springer, Heidelberg (1997)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Communications of the ACM\u00a0(21), 393\u2013399 (1978)","DOI":"10.1145\/359657.359659"},{"key":"2_CR20","unstructured":"Petrocchi, M.: Formal techniques for modeling and verifying secure procedures. PhD thesis, University of Pisa (May 2005)"},{"key":"2_CR21","volume-title":"BIONETICS","author":"M. Petrocchi","year":"2006","unstructured":"Petrocchi, M.: Crypto-fraglets. In: BIONETICS. IEEE, Los Alamitos (2006)"},{"key":"2_CR22","unstructured":"Tschudin, C.: Fraglets - a metabolistic execution model for communication protocols. In: Proc. AINS 2003 (2003)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11520184_15","volume-title":"Autonomic Communication","author":"C. Tschudin","year":"2005","unstructured":"Tschudin, C., Yamamoto, L.: A metabolic approach to protocol resilience. In: Smirnov, M. (ed.) WAC 2004. LNCS, vol.\u00a03457, pp. 191\u2013206. Springer, Heidelberg (2005)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/11687818_2","volume-title":"Autonomic Communication","author":"L. Yamamoto","year":"2006","unstructured":"Yamamoto, L., Tschudin, C.: Experiments on the automatic evolution of protocols using genetic programming. In: Stavrakakis, I., Smirnov, M. (eds.) WAC 2005. LNCS, vol.\u00a03854, pp. 13\u201328. Springer, Heidelberg (2006)"},{"key":"2_CR25","unstructured":"Yamamoto, L., Tschudin, C.: Genetic evolution of protocol implementations and configurations. In: Proc. SelfMan 2005 (2005)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Bioinspired Models of Network, Information, and Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12808-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:12:14Z","timestamp":1558401134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12808-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642128073","9783642128080"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12808-0_2","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2010]]}}}