Belief Change and Cryptographic Protocol Verification.

Aaron Hunter James P. Delgrande

Published in: Formal Models of Belief Change in Rational Agents (2007)

Keyphrases

cryptographic protocols
belief change
belief revision
belief update
prime implicates
standard model
propositional logic
security protocols
minimal change
rationality postulates
probability theory
belief base
horn logic
default reasoning