A critique of the Burrows, Abadi and Needham logic

A l'aide d'un exemple simple, l'existence d'un point faible significatif dans la logique proposee par Burrows, Abadi et Needham est montree. Une analyse rapide suggere l'origine de celui-ci

[1]  Dan M. Nessett.  Factors Affecting Distributed System Security , 1987, IEEE Transactions on Software Engineering.

[2]  Martín Abadi,et al.  A logic of authentication , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.