A semantic analysis of key management protocols for wireless sensor networks

Gorrieri 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 r...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming Jg. 81; S. 53 - 78
Hauptverfasser:	Macedonio, Damiano, Merro, Massimo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 15.02.2014
Schlagworte:	Key management protocol Process calculus Security analysis Wireless sensor network Wireless sensor network Key management protocol Security analysis Process calculus
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!