64 search results - page 3 / 13 » Secure Failure Detection in TrustedPals |
126
Voted
IJISEC
2006
15 years 3 months ago
2006
We examine the problem of containing buffer overflow attacks in a safe and efficient manner. Briefly, we automatically augment source code to dynamically catch stack and heap-based...
147
click to vote
IJNSEC
2011
2011
Location-aware, Trust-based Detection and Isolation of Compromised Nodes in Wireless Sensor Networks
14 years 10 months ago
The detection and isolation of compromised nodes in wireless sensor networks is a difficult task. However, failure to identify and isolate compromised nodes results in significan...
134
Voted
TDSC
2010
14 years 10 months ago
2010
Automated, rapid, and effective fault management is a central goal of large operational IP networks. Today's networks suffer from a wide and volatile set of failure modes, wh...
187
Voted
SCN
2011
Springer
14 years 10 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
136
Voted
SAFECOMP
2004
Springer
15 years 8 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...