Bioinspired Security Analysis of Wireless Protocols

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...

Full description

Bibliographic Details
Main Authors: Petrocchi, Marinella, Spognardi, Angelo, Santi, Paolo
Other Authors: Massachusetts Institute of Technology. Department of Urban Studies and Planning
Format: Article
Language:English
Published: Springer US 2017
Online Access:http://hdl.handle.net/1721.1/106989
Description
Summary: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.