1028 search results - page 8 / 206 » Using Attack Graphs to Design Systems |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
ESORICS
2012
Springer
12 years 6 days ago
2012
Springer
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...
ICALP
2000
Springer
14 years 1 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
CNSR
2008
IEEE
14 years 4 months ago
2008
IEEE
Attacks and intrusions to information systems cause large revenue losses. The prevention of these attacks is not always possible by just considering information from isolated sour...
DEXAW
2008
IEEE
14 years 4 months ago
2008
IEEE
Network Intrusion Detection Systems (NIDS) have the challenge to prevent network attacks and unauthorised remote use of computers. In order to achieve this goal, NIDS usually foll...