| changeset 37936 | 1e4c5015a72e |
| parent 32960 | 69916a850301 |
| child 39251 | 8756b44582e2 |
| 37935:7551769de556 | 37936:1e4c5015a72e |
|---|---|
1 (* ID: $Id$ |
1 (* Title: HOL/Auth/OtwayReesBella.thy |
2 Author: Giampaolo Bella, Catania University |
2 Author: Giampaolo Bella, Catania University |
3 *) |
3 *) |
4 |
4 |
5 header{*Bella's version of the Otway-Rees protocol*} |
5 header{*Bella's version of the Otway-Rees protocol*} |
6 |
6 |