Typed multiset rewriting specifications of security protocols (2000)

by I Cervesato
Venue:First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology - MFCSIT’00