|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Attacking Group Protocols by Refuting Incorrect Inductive Conjectures |
Steel, Graham |
2005 |
36 | 1-2 |
p. 149-176 |
article |
|
| 2 | Automated Reasoning for Security Protocol Analysis |
Armando, Alessandro |
2005 |
36 | 1-2 |
p. 1-3 |
article |
|
| 3 | Decidability Issues for Extended Ping-Pong Protocols |
Hüttel, Hans |
2006 |
36 | 1-2 |
p. 125-147 |
article |
|
| 4 | Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks |
Delaune, Stéphanie |
2006 |
36 | 1-2 |
p. 85-124 |
article |
|
| 5 | Formal Analysis of Multiparty Contract Signing |
Chadha, Rohit |
2006 |
36 | 1-2 |
p. 39-83 |
article |
|
| 6 | Verifying the SET Purchase Protocols |
Bella, Giampaolo |
2006 |
36 | 1-2 |
p. 5-37 |
article |
6 results found