Timed Calculus of Cryptographic Communication

Timed Calculus of Cryptographic Communication

We extend the (core) Calculus of Cryptographic Communication (C3) with real time, e.g., time stamps and timed keys. We illustrate how to use this extended calculus (tC3) on a specification and verification case study, namely the failure of the Wide-Mouthed-Frog protocol in its original, e.g., timed,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Borgström, Johannes, Grinchtein, Olga, Kramer, Simon
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied process calculi
formal modelling
model-based specification and verification
timed cryptographic protocols
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We extend the (core) Calculus of Cryptographic Communication (C3) with real time, e.g., time stamps and timed keys. We illustrate how to use this extended calculus (tC3) on a specification and verification case study, namely the failure of the Wide-Mouthed-Frog protocol in its original, e.g., timed, version.
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-75227-1_2