An Explicit Model of Belief Change for Cryptographic Protocol Verification.

Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)