14850 search results - page 2619 / 2970 » The Security of |
158
click to vote
RAID
2004
Springer
16 years 6 days ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
185
click to vote
RAID
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
156
click to vote
SAFECOMP
2004
Springer
16 years 6 days ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
189
click to vote
SAFECOMP
2004
Springer
16 years 6 days ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
188
click to vote
SAFECOMP
2004
Springer
16 years 6 days 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...