CAPSL intermediate language, in (1999)

by G Denker, J Millen
Venue:Proc. of Workshop on Formal Methods and Security Protocols (FMSP ’99), N. Heintze and