|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analysing a stream authentication protocol using model checking |
Hopcroft, Philippa |
2004 |
3 | 1 |
p. 2-13 |
artikel |
|
| 2 | Computational probabilistic noninterference |
Backes, Michael |
2004 |
3 | 1 |
p. 42-60 |
artikel |
|
| 3 | Controlled query evaluation for enforcing confidentiality in complete information systems |
Biskup, Joachim |
2004 |
3 | 1 |
p. 14-27 |
artikel |
|
| 4 | Outbound authentication for programmable secure coprocessors |
Smith, Sean W. |
2004 |
3 | 1 |
p. 28-41 |
artikel |
|
| 5 | Preface |
Waidner, Michael |
2004 |
3 | 1 |
p. 1 |
artikel |
5 gevonden resultaten