An Environment for the Specification And Verification of Time-Dependent Security Protocols

The use of formal methods in software engineering for the specification and the verification is suitable when developing complex systems. The distributed nature, the subtle time dependence and the strict requirements of time sensitive security protocols increase the inherent complexity of their vali...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of computers & applications 2009-01, Vol.31 (3), p.183-192
Hauptverfasser:	Benerecetti, M., Cuomo, N., Peron, A.
Format:	Artikel
Sprache:	eng
Schlagworte:	Model Checking Security Protocols Time-Sensitive Protocols
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!