| changeset 37936 | 1e4c5015a72e |
| parent 35416 | d8d7d1b785af |
| child 56073 | 29e308b56d23 |
| 37935:7551769de556 | 37936:1e4c5015a72e |
|---|---|
1 (* Title: HOL/Auth/ZhouGollmann |
1 (* Title: HOL/Auth/ZhouGollmann.thy |
2 ID: $Id$ |
|
3 Author: Giampaolo Bella and L C Paulson, Cambridge Univ Computer Lab |
2 Author: Giampaolo Bella and L C Paulson, Cambridge Univ Computer Lab |
4 Copyright 2003 University of Cambridge |
3 Copyright 2003 University of Cambridge |
5 |
4 |
6 The protocol of |
5 The protocol of |
7 Jianying Zhou and Dieter Gollmann, |
6 Jianying Zhou and Dieter Gollmann, |