Formal methods for security protocols : three examples of the black-box approach
Cjf Cas Cremers, Sjouke Mauw, de Ep Erik Vink · TU/e Research Portal · 2003
Security protocols are hard to design, even under the assumption of perfect cryptography. With the `classical' Needham-Schroder protocol as leading example, three so-called black-box approaches to the formal verification of security protocols are sketched.