Typing Messages for Free in Security Protocols: The Case of Equivalence Properties.

Rmy Chrtien, Vronique Cortier, Stphanie Delaune

Browse the full CONCUR paper archive.