Typed Multiset Rewriting Specifications of Security Protocols (2001)

View PDF

Download Links

by Iliano Cervesato
Citations:15 - 7 self