|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analyzing SLE 88 memory management security using Interacting State Machines |
von Oheimb, David |
2005 |
4 | 3 |
p. 155-171 |
artikel |
|
| 2 | OFMC: A symbolic model checker for security protocols |
Basin, David |
2004 |
4 | 3 |
p. 181-208 |
artikel |
|
| 3 | Passive-attack analysis for connection-based anonymity systems |
Serjantov, Andrei |
2005 |
4 | 3 |
p. 172-180 |
artikel |
|
| 4 | Preface to the special issue on ESORICS 2003 |
Snekkenes, Einar |
2004 |
4 | 3 |
p. 133-134 |
artikel |
|
| 5 | Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library |
Backes, Michael |
2004 |
4 | 3 |
p. 135-154 |
artikel |
|
| 6 | Techniques for improving the security and manageability of IPsec policy |
Trostle, Jonathan |
2005 |
4 | 3 |
p. 209-226 |
artikel |
6 gevonden resultaten