A specification language for crypto-protocol based on multiset rewriting, dependent types and subsorting. Submitted to the (2001)

by I Cervesato
Venue:Seventeenth Conference on the Mathematical Foundations of Programming Semantics — MFPS-XVII (O. Danvy and