equal
deleted
inserted
replaced
4 Copyright 1996 University of Cambridge |
4 Copyright 1996 University of Cambridge |
5 *) |
5 *) |
6 |
6 |
7 header{*The Original Otway-Rees Protocol*} |
7 header{*The Original Otway-Rees Protocol*} |
8 |
8 |
9 theory OtwayRees = Public: |
9 theory OtwayRees imports Public begin |
10 |
10 |
11 text{* From page 244 of |
11 text{* From page 244 of |
12 Burrows, Abadi and Needham (1989). A Logic of Authentication. |
12 Burrows, Abadi and Needham (1989). A Logic of Authentication. |
13 Proc. Royal Soc. 426 |
13 Proc. Royal Soc. 426 |
14 |
14 |