|
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 | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
Cortier, Véronique |
2010 |
46 | 3-4 |
p. 225-259 |
artikel |
|
| 2 | Automated Proofs for Asymmetric Encryption |
Courant, J. |
2010 |
46 | 3-4 |
p. 261-291 |
artikel |
|
| 3 | Collaborative Planning with Confidentiality |
Kanovich, Max |
2010 |
46 | 3-4 |
p. 389-421 |
artikel |
|
| 4 | Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation |
Martinho, Joana |
2010 |
46 | 3-4 |
p. 293-323 |
artikel |
|
| 5 | Multi-Attacker Protocol Validation |
Arsac, Wihem |
2010 |
46 | 3-4 |
p. 353-388 |
artikel |
|
| 6 | Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning” |
Bauer, Lujo |
2010 |
46 | 3-4 |
p. 223-224 |
artikel |
|
| 7 | Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach |
Küsters, Ralf |
2010 |
46 | 3-4 |
p. 325-352 |
artikel |
7 gevonden resultaten