Project name: Specification of Secure Protocols
Research group: Interactive Information Access (INS2)

Coordinator of this project: Lambert Meertens 

In order to bridge the gap between the theoretical considerations used to establish security and the actual semantics of implementations of such protocols, formalisms (notations and techniques) are investigated which are amenable to both theoretical analysis and practical implementation.

Members
Annette Bleeker, Lambert Meertens.

Key publications
A semantics for BAN logic, Annette Bleeker & Lambert Meertens, Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols, Sept 3-5 1997, New Brunswick NJ.