Using Temporal Logic to Specify and Verify Cryptographic Protocols (Progress Report)

We use standard linear-time temporal logic to specify cryptographic protocols, model the system penetrator, and specify correctness requirements. The requirements are specified as standard safety properties, for which standard proof techniques apply. In particular, we are able to prove that the syst...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Gray, III, James W, McLean, John
Format:	Report
Sprache:	eng
Schlagworte:	ALGEBRA CRYPTOGRAPHY Cybernetics FOREIGN REPORTS HONG KONG LINEARITY LOGIC REASONING REQUIREMENTS SAFETY SECURITY VERIFICATION
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!