|
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 | A calculus for control flow analysis of security protocols |
Buchholtz, Mikael |
2004 |
2 | 3-4 |
p. 145-167 |
artikel |
|
| 2 | Automated analysis of timed security: a case study on web privacy |
Gorrieri, Roberto |
2004 |
2 | 3-4 |
p. 168-186 |
artikel |
|
| 3 | Preface to the special issue on Security in global computing |
Priami, Corrado |
2004 |
2 | 3-4 |
p. 125 |
artikel |
|
| 4 | Stack inspection and secure program transformations |
Bartoletti, Massimo |
2004 |
2 | 3-4 |
p. 187-217 |
artikel |
|
| 5 | Two-party generation of DSA signatures |
MacKenzie, Philip |
2004 |
2 | 3-4 |
p. 218-239 |
artikel |
|
| 6 | Using ambients to control resources |
Teller, David |
2004 |
2 | 3-4 |
p. 126-144 |
artikel |
6 gevonden resultaten