Belief Change and Cryptographic Protocol Verification.

Aaron Hunter James P. Delgrande

Published in: AAAI (2007)

Keyphrases

belief change
cryptographic protocols
belief revision
belief update
prime implicates
propositional logic
standard model
minimal change
probability theory
security protocols
formal verification
belief set
authentication protocol
expert systems
epistemic states
knowledge base
rationality postulates