Zoekresultaten
Resultaat 1 - 20 (van 35)
Centre for Telematics and Information Technology A formal security analysis of an OSA/Parlay authentication interface
Non-fictie
Engels | 16 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Timed analysis of security protocols
Non-fictie
Engels | 30 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology A Diffie-Hellman based key management scheme for hierarchical access control
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology RTnet: a distributed real-time protocol for broadcast-capable networks
Non-fictie
Engels | 14 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology A modelling method for embedded systems
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology MoDeST
a compositional modeling formalism for hard and softly timed systems
Non-fictie
Engels | 38 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Graph transformation for verification and concurrency (GT-VC 2005)
satellite workshop of Concur 2005, San Francisco, 22 August 2005
Non-fictie
Engels | 112 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Poseidon: a 2-tier anomaly-based intrusion detection system
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Security analysis of parlay/OSA framework
Non-fictie
Engels | 13 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Branching bisimulation for probabilistic systems: characteristics and decidability
Non-fictie
Engels | 32 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology An audit logic for accountability
Non-fictie
Engels | 24 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology The performance of a second generation service discovery protocol in response to message loss
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Functional principles of registry-based service discovery
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Energy model of network-on-chip and a bus
Non-fictie
Engels | 10 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Routing of guaranteed throughput traffic in a network-on-chip
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology A virtual channel network-on-chip for GT and BE traffic
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Score region algebra
building a transparant XML-IR database
Non-fictie
Engels | 66 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Overview of security research in EYES
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Scheduling lacquer production by reachability analysis
a case study
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Architecture design space exploration for streaming applications through timing analysis
Non-fictie
Engels | 34 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek