Extending BAN Logic for Reasoning with Modern PKI-Based Protocols


BAN logic is a well-known authentication logic which, despite other more recent logics and formal methods, remains popular with many protocol designers. BAN Logic however does not properly deal with the issues of certificates and the use of public key infrastructure (PKI). This paper proposes an extension to BAN logic which focuses on certificate processing… (More)
DOI: 10.1109/NPC.2008.86


1 Figure or Table

Slides referencing similar topics