648 search results - page 79 / 130 » The GCHQ Protocol and Its Problems |
MOBISYS
2005
ACM
14 years 8 months ago
2005
ACM
The widespread availability of 802.11-based hardware has made it the premier choice of both researchers and practitioners for developing new wireless networks and applications. Ho...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— A fundamental problem in quality-of-service (QoS) routing is to find a path connecting a source node to a destination node that satisfies K ≥ 2 additive QoS constraints. Th...
ICCSA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In nested mobile networks with NEMO basic support protocol [3], the pinball routing problem occurs because since it is based on bi-directional tunneling between the mobil...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...