Zoekresultaten
Resultaat 1 - 3 (van 3)
Centre for Telematics and Information Technology A logic for auditing accountability in decentralized systems
Non-fictie
Engels | 17 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
Centre for Telematics and Information Technology Timed model checking of security protocols
Non-fictie
Engels | 15 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
Centre for Telematics and Information Technology License protection with a tamper-resistant token
Non-fictie
Engels | 16 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek