|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Abstractions of non-interference security: probabilistic versus possibilistic |
Hoang, T. S. |
2012 |
26 | 1 |
p. 169-194 |
article |
|
| 2 | Cryptographic protocols with everyday objects |
Heather, James |
2013 |
26 | 1 |
p. 37-62 |
article |
|
| 3 | Editorial |
Boiten, Eerke |
2013 |
26 | 1 |
p. 1-2 |
article |
|
| 4 | Formal verification of security protocol implementations: a survey |
Avalle, Matteo |
2012 |
26 | 1 |
p. 99-123 |
article |
|
| 5 | Inductive study of confidentiality: for everyone |
Bella, Giampaolo |
2012 |
26 | 1 |
p. 3-36 |
article |
|
| 6 | Safe abstractions of data encodings in formal security protocol models |
Pironti, Alfredo |
2012 |
26 | 1 |
p. 125-167 |
article |
|
| 7 | Verifying anonymity in voting systems using CSP |
Moran, Murat |
2012 |
26 | 1 |
p. 63-98 |
article |
7 results found