Istituto di Informatica e Telematica     
Petrocchi M., Spognardi A., Santi P. Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties. In: 8th International Conference on Bio-inspired Information and Communications Technologies (BICT 2014) (Boston, United States, 02 12 2014). Proceedings, vol. - p. -. ACM, 2014.
Fraglets are computation fragments flowing through a computer network. They implement a chemical reaction model where computations are carried out by having fraglets react with each other. The strong connection between their way of transforming and reacting and some formal rewriting system makes a fraglet program amenable to verification. In this paper, we propose an executable specification of fraglets (and fraglets-based cryptographic protocols) in the rewriting logic-based Maude interpreter to model a RFID protocol and its security properties.
URL: http://mib.projects.iit.cnr.it/bict14/cryptofraglets.html
Subject bio-inspired computational models
rewriting systems
C.2.1 Network Architecture and Design-wireless communication, C.2.2 Network Protocols - protocol verification -, D.2.4 [Software Engineering]: Software/Program Verification-Formal methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional