144 search results - page 26 / 29 » The faithfulness of abstract protocol analysis: message auth... |
98
Voted
INFOCOM
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract-The Internet today provides no support for privacy or authentication of multicast packets. However,an increasing number of applications will require secure multicast servi...
150
click to vote
TMC
2012
13 years 2 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
84
Voted
ACISP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Two of the most recent and powerful multi-property-preserving (MPP) hash domain extension transforms are the Ramdom-Oracle-XOR (ROX) transform and the Enveloped Shoup (ES...
114
click to vote
COMCOM
2006
14 years 11 months ago
2006
Abstract--In this paper we present the design, implementation, and performance analysis of Group-Aided Multicast (GAM), a scalable many-tomany reliable multicast transport protocol...
CCR
2004
14 years 11 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...