2162 search results - page 141 / 433 » A Meta-Notation for Protocol Analysis |
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
Assuring information authenticity is an important issue in the field of information security. A new broadcast authentication protocol is proposed. The protocol is based on time sy...
BROADNETS
2006
IEEE
14 years 4 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
MSN
2005
Springer
14 years 3 months ago
2005
Springer
Based on existing reliable broadcast protocols in MANETs, we propose a novel reliable broadcast protocol that uses clustering technique and gossip methodology. We combine local ret...
ADVIS
2000
Springer
14 years 2 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
ADBIS
1997
Springer
14 years 2 months ago
1997
Springer
Recent work on client-server data-shipping OODBs has demonstratedthe usefulnessof localdatacachingat clientsites. In addition to data caching, index caching can provide substantia...