8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)

Research Article

Cryptofraglets Reloaded - Bioinspired Security Modeling of a RFID Protocol and Properties

Cite
BibTeX Plain Text
  • @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
Marinella Petrocchi1, Angelo Spognardi1,*, Paolo Santi2
  • 1: CNR Istitute of Informatics and Telematics
  • 2: MIT-Fraunhofer Ambient Mobility, Senseable City Lab
*Contact email: angelo.spognardi@iit.cnr.it

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.

Keywords
fraglets cryptofraglets secure rfid protocols maude
Published
2015-02-02
Publisher
ICST
Appears in
ACM Digital Library
http://dx.doi.org/10.4108/icst.bict.2014.258027
Copyright © 2014–2024 ICST