Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically Goubault-Larrecq, Jean
 2005
 64 2 p. 219-251
33 p.
 artikel
2 A static analysis of cryptographic processes: the denotational approach Aziz, Benjamin
 2005
 64 2 p. 285-320
36 p.
 artikel
3 Author Index – Volume 64 (2005) 2005
 64 2 p. 321-322
2 p.
 artikel
4 Contents 2005
 64 2 p. v-
1 p.
 artikel
5 Contract signing, optimism, and advantage Chadha, Rohit
 2005
 64 2 p. 189-218
30 p.
 artikel
6 Editorial board 2005
 64 2 p. CO2-
1 p.
 artikel
7 Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols Amadio, Roberto M.
 2005
 64 2 p. 155-
1 p.
 artikel
8 Keyword Index – Volume 64 (2005) 2005
 64 2 p. 323-
1 p.
 artikel
9 Unifying simulatability definitions in cryptographic systems under different timing assumptions Backes, Michael
 2005
 64 2 p. 157-188
32 p.
 artikel
10 Verifying security protocols with PVS: widening the rank function approach Evans, Neil
 2005
 64 2 p. 253-284
32 p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland