Zoekresultaten
Resultaat 1 - 2 (van 2)
J.G. Cederquist | M.T. Dashti An intruder model for verifying termination in security protocols
Non-fictie
Engels | 13 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
J.G. Cederquist | R. Corin | M.T. Dashti On the quest for impartiality
design and analysis of a fair non-repudiation protocol
Non-fictie
Engels | 46 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek