Bioinspired Security Analysis of Wireless Protocols
Name
11036_2016_702_ReferencePDF.pdf
Size
174.56 KB
Format
Adobe PDF
Checksum (MD5)
db9235e82de202a5c484b0511e11dd09
Author(s)
Petrocchi, Marinella
Spognardi, Angelo
Santi, Paolo
Date Issued
March 2016
Journal
Mobile Networks and Applications
Publisher
Springer US
Citation
Petrocchi, Marinella, Angelo Spognardi, and Paolo Santi. “Bioinspired Security Analysis of Wireless Protocols.” Mobile Netw Appl 21, no. 1 (February 2016): 139–148.
Version
Author's final manuscript
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.
MIT Department
Massachusetts Institute of Technology. Department of Urban Studies and Planning
Massachusetts Institute of Technology. SENSEable City Laboratory
Terms of Use
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.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s11036-016-0702-z
