1737 search results - page 133 / 348 » Using Strategy Objectives for Network Security Analysis |
136
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
122
click to vote
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the design and use of distributed pipelines for automated processing of sensor data streams. In particular, we focus on the detection and extraction of meanin...
164
click to vote
ISI
2004
Springer
15 years 10 months ago
2004
Springer
Dynamic criminal network analysis is important for national security but also very challenging. However, little research has been done in this area. In this paper we propose to use...
123
click to vote
WOWMOM
2006
ACM
15 years 10 months ago
2006
ACM
Sensor networks are used in a variety of application areas for diverse problems from habitat monitoring to military tracking. Whenever they are used to monitor sensitive objects, ...
129
click to vote
SCS
2001
15 years 6 months ago
2001
Integrated Modular Avionics (IMA) is the term used for a common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to a...