Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/41364' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/41364' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Bioinspired Security Analysis of Wireless Protocols. | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Bioinspired Security Analysis of Wireless Protocols.

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.


Mobile Networks and Applications, 2016

Autori esterni: Angelo Spognardi (DTU Compute, Technical University of Denmark)
Autori IIT:

Tipo: Contributo in rivista ISI
Area di disciplina: Information Technology and Communication Systems

File: mone16.pdf

Attività: Wireless Network Security
Metodi formali per la sicurezza di sistemi ICT
Architetture, protocolli e meccanismi di sicurezza per sistemi e servizi distribuiti