A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps

A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps

We present a symbolic decision procedure for time-sensitive cryptographic protocols with time-stamps. Our decision procedure deals with secrecy, authentication and any property that can be described as an invariance property.

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bozga, Liana, Ene, Cristian, Lakhnech, Yassine
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Cryptographic Protocol
Exact sciences and technology
Function Symbol
Reachability Property
Security Property
Software
Software engineering
Time Constraint
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We present a symbolic decision procedure for time-sensitive cryptographic protocols with time-stamps. Our decision procedure deals with secrecy, authentication and any property that can be described as an invariance property.
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-28644-8_12