An Explicit Model of Belief Change for Cryptographic Protocol Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Aaron Hunter' in GoogleThis author has not been identified. Look up 'James P. Delgrande' in Google

runs on WebDSL