Invited Talk: Thomas Wilke

Modal and Temporal Logics for Cryptographic Protocols

A basic requirement for a formal analysis of cryptographic protocols is a formal specification of the desired security properties. In many cases modal or temporal logics have been suggested and used as an appropriate specification formalism. In the talk, I will present some of the results that have been obtained along these lines.