Yannick Chevalier, Luca Compagna, Jorge Cuellar, Paul Hankes Drielsma, Jacopo Mantovani, et al.. A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols.
Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004, 2004, Linz, Austria, 13 p.
⟨inria-00099882⟩