Timed Calculus of Cryptographic Communication

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.