Analysing Time Dependent Security Properties in CSP Using PVS

This paper details an approach to verifying time dependent authentication properties of security protocols. We discuss the introduction of time into the Communicating Sequential Processes (CSP) protocol verification framework of [11]. The embedding of CSP in the theorem prover PVS (Prototype Verific...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Evans, Neil, Schneider, Steve
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Authentication Protocol Verification Automated Theorem Proving CSP Exact sciences and technology PVS Telecommunications Telecommunications and information theory Teleprocessing networks. Isdn Timed Behaviour
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!