4305 search results - page 107 / 861 » Analysing Protocol Implementations |
AINA
2004
IEEE
14 years 22 days ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
The paper describes the concept and implementation of a telecom emulator that features both recon gurability and high-speed processing. The emulator can be easily transmuted into ...
WASA
2009
Springer
14 years 3 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 ...
IWQOS
2001
Springer
14 years 1 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
JNW
2008
13 years 9 months ago
2008
Using two-hop neighborhood information, we present the hybrid activation multiple access (HAMA) protocol for time-division channel access scheduling in ad hoc networks with omni-di...