Course on Formal Methods for Security Protocols.

Course given by Catuscia Palamidessi in the context of the

Workshop on Proof Theory and Computation

Dresden, 3-14 June 2002

Lecture Notes 1 , 2 , 3 and 4