Please note that this newsitem has been archived, and may contain outdated information or links.
10 December 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Sandro Etalle (Twente University)
Speaker: Sandro Etalle (Twente University)
Title: A constraint based system for the verification of security
protocols.
protocols.
Date: Tuesday 10 December 2002
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.96
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
Please note that this newsitem has been archived, and may contain outdated information or links.