Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

25 October 2007, Logic Tea, Simon Kramer

Speaker: Simon Kramer (École Polytechnique)
Title: The Intended and Actual Meaning of a Cryptographic Message and Protocol
Date: Thursday 25 October 2007
Time: 16:00-17:00
Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

We propose a denotational definition for the (actual) meaning of a cryptographic message and, based on it, an equational definition for the context-sensitivity of that meaning, both via hypothetical knowledge and provability. As a result, we obtain a formalisation of the first of Abadi and Needham's principles for prudent engineering practice for - and a tentative denotational semantics of - cryptographic protocols. Building on this (published) work, we present ongoing work on the distinction between the intended and the actual meaning of a cryptographic message and protocol. Our notions are viable for general multi-agent systems.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Joel Uckelmann () or Edgar Andrade (

Please note that this newsitem has been archived, and may contain outdated information or links.