47 search results - page 4 / 10 » Modeling and Verifying Physical Properties of Security Proto... |
WCNC
2008
IEEE
14 years 3 days ago
2008
IEEE
—Physical Carrier Sensing plays a crucial role in the effectiveness of CSMA-based MAC protocols, yet its properties and impact on the system performance under slow fading channel...
ENTCS
2006
13 years 5 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
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...
SACMAT
2010
ACM
13 years 10 months ago
2010
ACM
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...
SUTC
2006
IEEE
13 years 11 months ago
2006
IEEE
Security in wireless ad hoc networks is hard to achieve due to the vulnerability of its links, limited physical protection, and the absence of a centralized management point. Cons...