Formal Analysis of IP Layer Security (1997)

by S Mocas, T Schubert
Venue:Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols