dc.contributor.author | Petrocchi, Marinella | |
dc.contributor.author | Spognardi, Angelo | |
dc.contributor.author | Santi, Paolo | |
dc.date.accessioned | 2017-02-17T21:57:53Z | |
dc.date.available | 2017-02-17T21:57:53Z | |
dc.date.issued | 2016-03 | |
dc.identifier.issn | 1383-469X | |
dc.identifier.issn | 1572-8153 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/106989 | |
dc.description.abstract | Fraglets represent an execution model for communication protocols that resembles the chemical reactions in living organisms. The strong connection between their way of transforming and reacting and formal rewriting systems makes a fraglet program amenable to automatic verification. Grounded on past work, this paper investigates feasibility of adopting fraglets as model for specifying security protocols and analysing their properties. In particular, we give concrete sample analyses over a secure RFID protocol, showing evolution of the protocol run as chemical dynamics and simulating an adversary trying to circumvent the intended steps. The results of our analysis confirm the effectiveness of the cryptofraglets framework for the model and analysis of security properties and eventually show its potential to identify and uncover protocol flaws. | en_US |
dc.description.sponsorship | Registro.it project My Information Bubble MIB | en_US |
dc.publisher | Springer US | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1007/s11036-016-0702-z | en_US |
dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |
dc.source | Springer US | en_US |
dc.title | Bioinspired Security Analysis of Wireless Protocols | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Petrocchi, Marinella, Angelo Spognardi, and Paolo Santi. “Bioinspired Security Analysis of Wireless Protocols.” Mobile Netw Appl 21, no. 1 (February 2016): 139–148. | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Urban Studies and Planning | en_US |
dc.contributor.department | Massachusetts Institute of Technology. SENSEable City Laboratory | en_US |
dc.contributor.mitauthor | Santi, Paolo | |
dc.relation.journal | Mobile Networks and Applications | en_US |
dc.eprint.version | Author's final manuscript | en_US |
dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
dc.date.updated | 2016-05-23T12:16:59Z | |
dc.language.rfc3066 | en | |
dc.rights.holder | Springer Science+Business Media New York | |
dspace.orderedauthors | Petrocchi, Marinella; Spognardi, Angelo; Santi, Paolo | en_US |
dspace.embargo.terms | N | en |
mit.license | PUBLISHER_POLICY | en_US |