|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstractions of non-interference security: probabilistic versus possibilistic |
Hoang, T. S. |
2012 |
26 | 1 |
p. 169-194 |
artikel |
|
| 2 | Cryptographic protocols with everyday objects |
Heather, James |
2013 |
26 | 1 |
p. 37-62 |
artikel |
|
| 3 | Editorial |
Boiten, Eerke |
2013 |
26 | 1 |
p. 1-2 |
artikel |
|
| 4 | Formal verification of security protocol implementations: a survey |
Avalle, Matteo |
2012 |
26 | 1 |
p. 99-123 |
artikel |
|
| 5 | Inductive study of confidentiality: for everyone |
Bella, Giampaolo |
2012 |
26 | 1 |
p. 3-36 |
artikel |
|
| 6 | Safe abstractions of data encodings in formal security protocol models |
Pironti, Alfredo |
2012 |
26 | 1 |
p. 125-167 |
artikel |
|
| 7 | Verifying anonymity in voting systems using CSP |
Moran, Murat |
2012 |
26 | 1 |
p. 63-98 |
artikel |
7 gevonden resultaten