equal
deleted
inserted
replaced
5 *) |
5 *) |
6 |
6 |
7 |
7 |
8 header{*The Otway-Rees Protocol: The Faulty BAN Version*} |
8 header{*The Otway-Rees Protocol: The Faulty BAN Version*} |
9 |
9 |
10 theory OtwayRees_Bad = Public: |
10 theory OtwayRees_Bad imports Public begin |
11 |
11 |
12 text{*The FAULTY version omitting encryption of Nonce NB, as suggested on |
12 text{*The FAULTY version omitting encryption of Nonce NB, as suggested on |
13 page 247 of |
13 page 247 of |
14 Burrows, Abadi and Needham (1988). A Logic of Authentication. |
14 Burrows, Abadi and Needham (1988). A Logic of Authentication. |
15 Proc. Royal Soc. 426 |
15 Proc. Royal Soc. 426 |