next up previous
Next: Introduction

A semantics for BAN logic

Annette Bleeker[*]
CWI, Amsterdam
annette@cwi.nl

Lambert Meertens
CWI, Amsterdam, and
Department of Computing Science, Utrecht University, The Netherlands
lambert@cwi.nl