equal
deleted
inserted
replaced
23 |
23 |
24 (*Public-key protocols*) |
24 (*Public-key protocols*) |
25 time_use_thy "NS_Public_Bad"; |
25 time_use_thy "NS_Public_Bad"; |
26 time_use_thy "NS_Public"; |
26 time_use_thy "NS_Public"; |
27 time_use_thy "TLS"; |
27 time_use_thy "TLS"; |
|
28 |
|
29 (*Blanqui's "guard" concept: protocol-independent secrecy*) |
|
30 time_use_thy "Guard/P1"; |
|
31 time_use_thy "Guard/P2"; |
|
32 time_use_thy "Guard/NS_Public"; |
|
33 time_use_thy "Guard/OtwayRees"; |
|
34 time_use_thy "Guard/Yahalom"; |
|
35 time_use_thy "Guard/Proto"; |