1362 search results - page 95 / 273 » Model Checking Large Network Protocol Implementations |
117
click to vote
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
139
click to vote
TPDS
2010
15 years 2 months ago
2010
—It has been widely acknowledged that online file hosting systems within the “cloud” of the Internet have provided valuable services to end users who wish to share files of a...
153
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—It has been widely acknowledged that online storage systems within the “cloud” of the Internet provide services of a substantial value to end users who wish to share files ...
135
click to vote
NSDI
2008
15 years 6 months ago
2008
The broadcast nature of wireless networks is the source of both their utility and much of their complexity. To turn what would otherwise be unwanted interference into an advantage...
115
click to vote
WINET
2010
15 years 2 months ago
2010
Device discovery and connection establishment are fundamental to communication between two Bluetooth (BT) devices. In this paper, we give an analytical model of the time it takes f...