CAPSL: Common authentication protocol specification language (1996)

by J K Millen
Venue:In NSPW ’96: Proceedings of the 1996 workshop on New security paradigms