111 search results - page 6 / 23 » Run-Time Verification of Networked Software |
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
109
click to vote
FMICS
2010
Springer
14 years 9 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...
JSW
2008
14 years 9 months ago
2008
With the menace of hackers increasing every day, even well administrated networks are vulnerable to attack. Therefore, securing network assets has become a significant issue for th...
MOBISYS
2008
ACM
14 years 12 months ago
2008
ACM
There is an increasing tendency in sensor networks (and related networked embedded systems) to push more complexity and `intelligence' into end-nodes. This in turn leads to a ...
ASWEC
2006
IEEE
15 years 3 months ago
2006
IEEE
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...