|
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 | A symbolic framework for multi-faceted security protocol analysis |
Bracciali, Andrea |
2007 |
7 | 1 |
p. 55-84 |
artikel |
|
| 2 | Bayesian rational exchange |
Estevez-Tapiador, Juan M. |
2007 |
7 | 1 |
p. 85-100 |
artikel |
|
| 3 | Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR |
Backes, Michael |
2007 |
7 | 1 |
p. 33-54 |
artikel |
|
| 4 | Preface |
Degano, Pierpaolo |
2007 |
7 | 1 |
p. 1 |
artikel |
|
| 5 | SAT-based model-checking for security protocols analysis |
Armando, Alessandro |
2007 |
7 | 1 |
p. 3-32 |
artikel |
5 gevonden resultaten