32 search results - page 3 / 7 » A Formally Verified Decentralized Key Management Architectur... |
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
IPSN
2004
Springer
13 years 11 months ago
2004
Springer
Topology management schemes conserve energy in wireless ad hoc networks by identifying redundant nodes that may turn off their radios or other components while maintaining connec...
AAAI
2004
13 years 7 months ago
2004
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
APNOMS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. A wireless sensor network is a collection of devices limited in lowpowered batteries, processing, communication bandwidth capabilities and low memory availability. Due to...
MOBISYS
2007
ACM
14 years 5 months ago
2007
ACM
We identify the security challenges facing a sensor network for wireless health monitoring, and propose an architecture called "SNAP" (Sensor Network for Assessment of P...