4305 search results - page 285 / 861 » Analysing Protocol Implementations |
ICDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
NAP, a detection and recovery based scheme for implementing fault-tolerant itinerant computations, is presented. We give the semantics for the scheme and describe a protocol that ...
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Clear Channel Assessment (CCA) is an essential ingredient in wireless networks employing channel sensing as part of their medium access mechanism. While CCA itself is implement...
109
Voted
SAINT
2003
IEEE
15 years 7 months ago
2003
IEEE
Vehicle environment is a good testbed to investigate Internet mobility technologies. Based on testing of building, protocol implementation details and problems to deploy it will b...
111
click to vote
NDSS
2002
IEEE
15 years 7 months ago
2002
IEEE
We implemented an attack against WEP, the link-layer security protocol for 802.11 networks. The attack was described in a recent paper by Fluhrer, Mantin, and Shamir. With our imp...
146
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...