554 search results - page 42 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
ICPPW
2003
IEEE
14 years 1 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
WOWMOM
2009
ACM
14 years 2 months ago
2009
ACM
It has been shown that IEEE 802.11 DCF medium access control (MAC) protocol may not be suitable for multihop wireless networks due to its relatively low throughput and severely un...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...