CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishGorrieri and Martinelli's timed Generalized Non-Deducibility on Compositions (tGNDC) schema is a well-known general framework for the formal verification of security protocols in a concurrent scenario. We generalise the tGNDC schema to verify wireless network security protocols. Our generalisation relies on a simple timed broadcasting process calculus whose operational semantics is given in terms of a labelled transition system which is used to derive a standard simulation theory. We apply our tGNDC framework to perform a security analysis of three well-known key management protocols for wireless sensor networks: μTESLA, LEAP+ and LiSP.
| Titolo: | A semantic analysis of key management protocols for wireless sensor networks |
| Autori: | MERRO, Massimo (Corresponding) |
| Data di pubblicazione: | 2014 |
| Rivista: | |
| Handle: | http://hdl.handle.net/11562/656958 |
| Appare nelle tipologie: | 01.01 Articolo in Rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 1-s2.0-S016764231300018X-main.pdf | Articolo definitivo. | Versione dell'editore |  | Open Access Visualizza/Apri |
http://hdl.handle.net/11562/656958
Copyright © 2021