A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting (2001)

by Iliano Cervesato
Citations:19 - 10 self