14850 search results - page 2619 / 2970 » The Security of |
178
Voted
RAID
2004
Springer
16 years 1 months 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...
209
click to vote
RAID
2004
Springer
16 years 1 months 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...
178
Voted
SAFECOMP
2004
Springer
16 years 1 months 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...
219
Voted
SAFECOMP
2004
Springer
16 years 1 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
210
Voted
SAFECOMP
2004
Springer
16 years 1 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...