Aaron Hunter, James P. Delgrande. An Explicit Model of Belief Change for Cryptographic Protocol Verification. In Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007. pages 65-70, AAAI, 2007. [doi]
Abstract is missing.