| changeset 58889 | 5b7a9633cfa8 |
| parent 55417 | 01fbfb60c33e |
| child 58963 | 26bf09b95dda |
| 58888:9537bf1c4853 | 58889:5b7a9633cfa8 |
|---|---|
3 Author: Fabio Massacci |
3 Author: Fabio Massacci |
4 Author: Lawrence C Paulson |
4 Author: Lawrence C Paulson |
5 Author: Piero Tramontano |
5 Author: Piero Tramontano |
6 *) |
6 *) |
7 |
7 |
8 header{*The SET Cardholder Registration Protocol*} |
8 section{*The SET Cardholder Registration Protocol*} |
9 |
9 |
10 theory Cardholder_Registration |
10 theory Cardholder_Registration |
11 imports Public_SET |
11 imports Public_SET |
12 begin |
12 begin |
13 |
13 |