Cryptofraglets Reloaded - Bioinspired Security Modeling of a RFID Protocol and Properties
Marinella Petrocchi, Angelo Spognardi, Paolo Santi · 2015
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. Starting from pas