3751 search results - page 65 / 751 » Events in security protocols |
141
click to vote
WASA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we show through a simple secure symmetric key based protocol design and its implementation the feasibility of secure data collection in a vehicular sensor ...
167
click to vote
ESAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
139
click to vote
ACSW
2003
15 years 5 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
113
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
119
click to vote
IEEEARES
2007
IEEE
15 years 10 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...