352 search results - page 50 / 71 » Proof-Checking a Data Link Protocol |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...
WOWMOM
2009
ACM
14 years 1 months ago
2009
ACM
—An increasing number of mobile devices, including smartphones, use WLAN for accessing the Internet. Existing WLAN authentication mechanisms are either disruptive, such as presen...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...
CNSR
2005
IEEE
14 years 1 months ago
2005
IEEE
Although many multicast communication protocols have been recommended at IETF, reliable multicast communications currently rely on programs built at the application layer, e.g., m...
EDCC
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...