| changeset 37936 | 1e4c5015a72e |
| parent 32631 | 2489e3c3562b |
| child 39216 | 62332b382dba |
| child 39246 | 9e58f0499f57 |
| 37935:7551769de556 | 37936:1e4c5015a72e |
|---|---|
1 (* Title: HOL/Auth/Shared |
1 (* Title: HOL/Auth/Shared.thy |
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 Theory of Shared Keys (common to all symmetric-key protocols) |
5 Theory of Shared Keys (common to all symmetric-key protocols) |
6 |
6 |