Towards a Strand Semantics for Authentication Logic

✍ Scribed by Paul Syverson

• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 786 KB
• Volume: 20
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(04)80072-0

✦ Synopsis

The logic BAN was developed in the late eighties to reason about authenticated key establishment protocols. It uncovered many flaws and properties of protocols, thus generating lots of attention in protocol analysis. BAN itself was also subject of much attention, and work was done examining its properties and limitations, developing extensions and alternatives, and giving it a semantics.