Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols

José Meseguer, Prasanna Thati. Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. Electronic Notes in Theoretical Computer Science, 117:153-182, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: