Dynamic epistemic verification of security

22^nd May 2007, 16:00
Dr Francien Deschesne
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands