Belief Logic

• Burrows, Abadi, and Needham (BAN) Logic [BAN90a]

  • Modal logic of belief (“belief” as local knowledge)
  • Special constructs and inference rules

    e.g., P sees X (P has received X in a message)
    

  • Protocol messages are “idealized” into logical statements
  • Objective is to prove that both parties share common beliefs

Previous slide

Next slide

Back to first slide

View graphic version