DMCA

An Explicit Model of Belief Change for Cryptographic Protocol Verification

by Aaron Hunter , James P. Delgr