DIMACS Workshop on Design and Formal Verification of Security Protocols
Publication date:
1997-09-01
Author:
De Decker, Bart
Piessens, Frank