Zoekresultaten
Resultaat 1 - 2 (van 2)
R. Corin | S. Etalle An improved constraint-based system for the verification of security protocols
Non-fictie
Engels | 18 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek
Y.W. Law | S. Etalle | Pieter H. Hartel Key management with group-wise pre-deployed keying and secret sharing pre-dep[lo]yed keying
Non-fictie
Engels | 2 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek