Bioinspired Security Analysis of Wireless Protocols

Marinella Petrocchi, Angelo Spognardi, Paolo Santi

Research output: Contribution to journalJournal articleResearchpeer-review


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.
Original languageEnglish
JournalMobile Networks and Applications
Issue number1
Pages (from-to)139-148
Publication statusPublished - 2016


  • Fraglets
  • Secure RFID protocols
  • Maude

Cite this