Title :
Logic and over-simplification
Author_Institution :
Microsoft Res. Ltd., USA
Abstract :
The author looks at the development of BAN logic, and with hindsight, considers the oversimplifications that were made
Keywords :
formal logic; BAN logic; logic; oversimplifications; Authentication; Body sensor networks; Bones; Calculus; Computer errors; Computer networks; Cryptographic protocols; Logic programming; Scattering; Shape;
Conference_Titel :
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on
Conference_Location :
Indianapolis, IN
Print_ISBN :
0-8186-8506-9
DOI :
10.1109/LICS.1998.705638
