Research Article
Cryptofraglets Reloaded - Bioinspired Security Modeling of a RFID Protocol and Properties
@INPROCEEDINGS{10.4108/icst.bict.2014.258027, author={Marinella Petrocchi and Angelo Spognardi and Paolo Santi}, title={Cryptofraglets Reloaded - Bioinspired Security Modeling of a RFID Protocol and Properties}, proceedings={8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)}, publisher={ICST}, proceedings_a={BICT}, year={2015}, month={2}, keywords={fraglets cryptofraglets secure rfid protocols maude}, doi={10.4108/icst.bict.2014.258027} }- Marinella Petrocchi
Angelo Spognardi
Paolo Santi
Year: 2015
Cryptofraglets Reloaded - Bioinspired Security Modeling of a RFID Protocol and Properties
BICT
ACM
DOI: 10.4108/icst.bict.2014.258027
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. Starting from past work where the model has been enriched and executed to specify security protocols and properties (leading to the definition of cryptofraglets), this paper updates cryptofraglets and gives examples of concrete sample analyses over a secure RFID protocol.
Copyright © 2014–2024 ICST
