{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:07:28Z","timestamp":1648764448086},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T00:00:00Z","timestamp":1454284800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Registro.it","award":["My Information Bubble MIB"],"award-info":[{"award-number":["My Information Bubble MIB"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s11036-016-0702-z","type":"journal-article","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T10:30:39Z","timestamp":1457001039000},"page":"139-148","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Bioinspired Security Analysis of Wireless Protocols"],"prefix":"10.1007","volume":"21","author":[{"given":"Marinella","family":"Petrocchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Spognardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Santi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,3]]},"reference":[{"key":"702_CR1","doi-asserted-by":"crossref","unstructured":"Avoine G, Oechslin P (2005) A scalable and provably secure hash based RFID protocol. In: International workshop on pervasive computing and communication security (PerSec \u201905), pp. 110\u2013114","DOI":"10.1109\/PERCOMW.2005.12"},{"key":"702_CR2","unstructured":"BIONETS website. http:\/\/www.bionets.eu\/"},{"issue":"4","key":"702_CR3","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1145\/363516.363528","volume":"9","author":"E Clarke","year":"2000","unstructured":"Clarke E, Jha S, Marrero W (2000) Verifying security protocols with Brutus. ACM Trans Softw Eng Methodol 9(4):443\u2013487","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"702_CR4","unstructured":"Clavel M, Dur\u00e1n F, Eker S, Lincoln P, Mart\u00ed-Oliet N, Meseguer J, Talcott CL (eds) (2007) All About Maude - A high-performance logical framework, how to specify, program and verify systems in rewriting logic, LNCS, vol. 4350 Springer"},{"key":"702_CR5","doi-asserted-by":"crossref","unstructured":"Conti M, Di Pietro R, Mancini LV, Spognardi A (2007) RIPP-FS: An RFID identification, privacy preserving protocol with forward secrecy. In: IEEE international conference on pervasive computing and communications workshops, 2007. Fifth Annual , pp. 229\u2013234. IEEE","DOI":"10.1109\/IECON.2007.4460365"},{"issue":"1","key":"702_CR6","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1002\/sec.120","volume":"3","author":"M Conti","year":"2010","unstructured":"Conti M, Di Pietro R, Mancini LV, Spognardi A (2010) eRIPP-FS: Enforcing privacy and security in RFID. Secur Commun Netw 3(1):58\u201370","journal-title":"Secur Commun Netw"},{"issue":"2","key":"702_CR7","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev D, Yao A (1983) On the security of public key protocols. IEEE Trans Inf Theory 29(2):198\u2013208","journal-title":"IEEE Trans Inf Theory"},{"issue":"2","key":"702_CR8","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/JCS-2004-12203","volume":"12","author":"NA Durgin","year":"2004","unstructured":"Durgin NA, Lincoln P, Mitchell JC (2004) Multiset rewriting and the complexity of bounded security protocols. J Comput Secur 12(2):247\u2013311. http:\/\/iospress.metapress.com\/content\/gpwf813k7jnlup50\/","journal-title":"J Comput Secur"},{"key":"702_CR9","unstructured":"Egidi L, Petrocchi M Modelling a secure agent with team automata. In: Proc VODCA\u201904, pp. 119\u2013134, Elsevier (2005). ENTCS"},{"key":"702_CR10","doi-asserted-by":"crossref","unstructured":"Escobar S, Meadows C, Meseguer J (2009) Maude-NPA: Cryptographic protocol analysis modulo equational properties. In: Foundations of Security Analysis and Design V, Lecture Notes in Computer Science, vol. 5705, pp. 1\u201350. Springer Berlin Heidelberg. doi: 10.1007\/978-3-642-03829-7_1","DOI":"10.1007\/978-3-642-03829-7_1"},{"key":"702_CR11","doi-asserted-by":"crossref","unstructured":"Focardi R, Martinelli F (1999) A uniform approach for the definition of security properties. In: Proc. FM\u201999, LNCS, vol. 1708, pp. 794\u2013813. Springer","DOI":"10.1007\/3-540-48119-2_44"},{"key":"702_CR12","unstructured":"FRAGLETS website. http:\/\/www.fraglets.net"},{"key":"702_CR13","unstructured":"Lenzini G, Gnesi S, Latella D Spider: A security model checker. In: Proc. FAST\u201903, pp. 163\u2013180 (2003). Informal proceedings"},{"key":"702_CR14","doi-asserted-by":"crossref","unstructured":"Lynch N (1999) I\/O automaton models and proofs for shared-key communication systems. In: Proc. CSFW\u201999, pp. 14\u201331. IEEE","DOI":"10.1109\/CSFW.1999.779759"},{"key":"702_CR15","doi-asserted-by":"crossref","unstructured":"Martinelli F, Petrocchi M (2007) Access control mechanisms for fraglets. In: BIONETICS. ICST","DOI":"10.4108\/ICST.BIONETICS2007.2458"},{"key":"702_CR16","doi-asserted-by":"crossref","unstructured":"Martinelli F, Petrocchi M (2008) Signed and weighted trust credentials for fraglets. In: BIONETICS. ICST","DOI":"10.4108\/ICST.BIONETICS2008.4755"},{"key":"702_CR17","doi-asserted-by":"crossref","unstructured":"Martinelli F, Petrocchi M Executable specification of cryptofraglets in maude for security verification. In: BIONETICS, pp. 11\u201323 (2009). doi: 10.1007\/978-3-642-12808-0_2","DOI":"10.1007\/978-3-642-12808-0_2"},{"key":"702_CR18","unstructured":"Maude website. http:\/\/maude.cs.uiuc.edu\/"},{"key":"702_CR19","unstructured":"Menezes AJ, Vanstone SA, Orschot PCV (2001) Handbook of applied cryptography, 5th ed. CRC Press Inc"},{"key":"702_CR20","unstructured":"Meseguer J (1997) Research directions in rewriting logic. In: Computational Logic, LNCS, vol. 165. Springer-Verlag"},{"key":"702_CR21","doi-asserted-by":"crossref","unstructured":"Mitchell JC Multiset rewriting and security protocol analysis. In: Tison S (ed) Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 2378, pp. 19\u201322. Springer Berlin Heidelberg (2002). doi: 10.1007\/3-540-45610-4_2","DOI":"10.1007\/3-540-45610-4_2"},{"key":"702_CR22","unstructured":"Ohkubo M, Suzuki K, Kinoshita S (2003) Cryptographic approach to privacy-friendly tags. In: 2003 MIT RFID Privacy Workshop"},{"key":"702_CR23","volume-title":"Formal techniques for modeling and verifying secure procedures","author":"M Petrocchi","year":"2005","unstructured":"Petrocchi M (2005) Formal techniques for modeling and verifying secure procedures. University of Pisa, Ph.D. thesis"},{"key":"702_CR24","doi-asserted-by":"crossref","unstructured":"Petrocchi M (2006) Crypto-fraglets. In: BIONETICS. IEEE","DOI":"10.1145\/1315843.1315873"},{"key":"702_CR25","doi-asserted-by":"crossref","unstructured":"Petrocchi M, Spognardi A, Santi P (2014) Cryptofraglets reloaded - bioinspired security modeling of a RFID protocol and properties. In: 8th international conference on bio-inspired information and communications technologies, BICT 2014. doi: 10.4108\/icst.bict.2014.258027","DOI":"10.4108\/icst.bict.2014.258027"},{"key":"702_CR26","unstructured":"Tschudin C (2003) Fraglets - a metabolistic execution model for communication protocols. In: Proc. AINS\u201903"},{"key":"702_CR27","doi-asserted-by":"crossref","unstructured":"Tschudin C, Yamamoto L (2004) A metabolic approach to protocol resilience. In: Proc. WAC\u201904, LNCS 3457, pp. 191\u2013206. Springer","DOI":"10.1007\/11520184_15"},{"key":"702_CR28","doi-asserted-by":"crossref","unstructured":"Tsudik G (2006) YA-TRAP: Yet another trivial RFID authentication protocol. In: Proceedings of the fourth annual IEEE international conference on pervasive computing and communications workshops (PERCOMW \u201906), p. 640","DOI":"10.1109\/PERCOMW.2006.152"},{"key":"702_CR29","doi-asserted-by":"crossref","unstructured":"Tsudik G (2007) A family of dunces. In: Proceedings of the seventh workshop on privacy enhancing technologies (PET\u201907), pp. 45\u201361","DOI":"10.1007\/978-3-540-75551-7_4"},{"key":"702_CR30","doi-asserted-by":"crossref","unstructured":"Yamamoto L, Tschudin C (2005) Experiments on the automatic evolution of protocols using genetic programming. In: Proc. WAC\u201905, LNCS 3854, pp. 13\u201328. Springer","DOI":"10.1007\/11687818_2"},{"key":"702_CR31","unstructured":"Yamamoto L, Tschudin C (2005) Genetic evolution of protocol implementations and configurations. In: Proc. Self Man\u201905"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-016-0702-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-016-0702-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-016-0702-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,16]],"date-time":"2020-09-16T14:58:26Z","timestamp":1600268306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-016-0702-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["702"],"URL":"https:\/\/doi.org\/10.1007\/s11036-016-0702-z","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2]]}}}