๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

No coin nor oath required. For personal study only.

โœฆ 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.


๐Ÿ“œ SIMILAR VOLUMES


A semantics for Fuzzy Logic
โœ J. B. Paris ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Springer ๐ŸŒ English โš– 193 KB
A Temporal Semantics for Basic Logic
โœ Stefano Aguzzoli; Matteo Bianchi; Vincenzo Marra ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 259 KB