Typed Multiset Rewriting Specifications of Security Protocols (2001)

Cached

Download Links

by Iliano Cervesato
Citations:12 - 7 self