Sciweavers

4305 search results - page 151 / 861
» Analysing Protocol Implementations
Sort
View
SECON
2008
IEEE
14 years 3 months ago
Breath: A Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation
—The novel cross-layer protocol Breath for wireless sensor networks is designed, implemented, and experimentally evaluated. The Breath protocol is based on randomized routing, MA...
Pan Gun Park, Carlo Fischione, Alvise Bonivento, K...
ASWEC
2006
IEEE
14 years 3 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
ATAL
2005
Springer
14 years 2 months ago
Liberalizing protocols for argumentation in multi-agent systems
This publication summarizes research on the the design and implementation of liberalized version of existing truth-finding protocols for argumentation, such as the standard two-a...
Gerard Vreeswijk
ISCC
2002
IEEE
14 years 2 months ago
HomeMAC: QoS-based MAC protocol for the home network
We believe that existing wire solutions such as HomePNA2.0 and HomePlug and wireless solution such as HomeRF are the most promising solutions, because of its cost-effectiveness. H...
Won-Joo Hwang, Makoto Wada, Hideki Tode, Koso Mura...
ENTCS
2006
145views more  ENTCS 2006»
13 years 9 months ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes