equal
deleted
inserted
replaced
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Copyright 1996 University of Cambridge |
3 Copyright 1996 University of Cambridge |
4 *) |
4 *) |
5 |
5 |
6 |
6 |
7 header{*The Otway-Rees Protocol: The Faulty BAN Version*} |
7 section{*The Otway-Rees Protocol: The Faulty BAN Version*} |
8 |
8 |
9 theory OtwayRees_Bad imports Public begin |
9 theory OtwayRees_Bad imports Public begin |
10 |
10 |
11 text{*The FAULTY version omitting encryption of Nonce NB, as suggested on |
11 text{*The FAULTY version omitting encryption of Nonce NB, as suggested on |
12 page 247 of |
12 page 247 of |