changeset 37936 | 1e4c5015a72e |
parent 37811 | 4c25d41b9982 |
child 41774 | 13b97824aec6 |
37935:7551769de556 | 37936:1e4c5015a72e |
---|---|
1 (* Title: HOL/Auth/KerberosIV |
1 (* Title: HOL/Auth/KerberosIV.thy |
2 ID: $Id$ |
|
3 Author: Giampaolo Bella, Cambridge University Computer Laboratory |
2 Author: Giampaolo Bella, Cambridge University Computer Laboratory |
4 Copyright 1998 University of Cambridge |
3 Copyright 1998 University of Cambridge |
5 *) |
4 *) |
6 |
5 |
7 header{*The Kerberos Protocol, Version IV*} |
6 header{*The Kerberos Protocol, Version IV*} |