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

by I Cervesato
Venue:Proceedings of the Workshop on Specification, Analysis and Validation for Emerging Technologies — SAVE’01