Workshop November 29

The third workshop was held on November 29, 2002 at the Department of Computer Science of the University of Nijmegen, (address and directions) in Room N5.

Program:

Time Speaker Title Abstract Material
10:45 - 11:30 Doeko Bosscher(Nauta Dutilh advocaten) Legal aspects of electronic cash/digital signatures
11:30 - 11:45 coffee
11:45 - 12:30 Frank Fransen(KPN Research) Lawful interception on IP networks
12:30 - 13:30 lunch
13:30 - 14:15 Martijn Oostdijk(KUN) Specification and Implementation of Formally Verifiable Security Protocols
14:15 - 14:30 tea
14:30 - 15:15 Frank Rulof (Thales) Security Concept For Net Centric Operations
15:15 - 16:00 drinks

Last Version - $Revision: 1.12 $ / $Date: 2002/12/17 10:41:43 $
Maintained by Jaap-Henk Hoepman
Email: Email address

Time	Speaker	Title	Abstract	Material
10:45 - 11:30	Doeko Bosscher(Nauta Dutilh advocaten)	Legal aspects of electronic cash/digital signatures
11:30 - 11:45		coffee
11:45 - 12:30	Frank Fransen(KPN Research)	Lawful interception on IP networks
12:30 - 13:30		lunch
13:30 - 14:15	Martijn Oostdijk(KUN)	Specification and Implementation of Formally Verifiable Security Protocols
14:15 - 14:30		tea
14:30 - 15:15	Frank Rulof (Thales)	Security Concept For Net Centric Operations
15:15 - 16:00		drinks