next up previous
Next: The language Up: A semantics for BAN Previous: Introduction

The logic

In this section we introduce our logic with its language and axioms, while indicating the difference with the original BAN logic. After that, we prove that this logic is stronger than BAN.