7329 search results - page 264 / 1466 » Network Extractor Protocols |
130
click to vote
AINA
2004
IEEE
15 years 7 months 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...
118
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
Simple, stateless networking protocols provide a low-cost and predictable foundation upon which to build decentralised applications. Sensornets are complex, containing emergent be...
136
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
119
click to vote
JNW
2008
15 years 4 months ago
2008
Cross-layer mechanism, for which a protocol locating at a given layer uses information issued from other layers, may enhance the mobile networks performance. Some of those mechanis...
155
click to vote
ICNP
2003
IEEE
15 years 9 months ago
2003
IEEE
In some harsh environments, manually deploying sensors is impossible. Alternative methods may lead to imprecise placement resulting in coverage holes. To provide the required high...