Timed Calculus of Cryptographic Communication

  • Johannes Borgström
  • Olga Grinchtein
  • Simon Kramer
Conference paper

DOI: 10.1007/978-3-540-75227-1_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4691)
Cite this paper as:
Borgström J., Grinchtein O., Kramer S. (2007) Timed Calculus of Cryptographic Communication. In: Dimitrakos T., Martinelli F., Ryan P.Y.A., Schneider S. (eds) Formal Aspects in Security and Trust. FAST 2006. Lecture Notes in Computer Science, vol 4691. Springer, Berlin, Heidelberg

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.

Keywords

Applied process calculi timed cryptographic protocols formal modelling model-based specification and verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Johannes Borgström
    • 1
  • Olga Grinchtein
    • 2
  • Simon Kramer
    • 3
  1. 1.EECS, Technical University of Berlin 
  2. 2.IT, Uppsala University 
  3. 3.Ecole Polytechnique Fédérale de Lausanne (EPFL) 

Personalised recommendations