Abstract System safety, reliability and risk analysis are important tasks that are performed
throughout the system life-cycle to ensure the dependability of safety-critical systems …

This paper presents the current state of the art on attack and defense modeling approaches
that are based on directed acyclic graphs (DAGs). DAGs allow for a hierarchical …

It is critical to develop an effective way to monitor advanced metering infrastructures (AMI).
To ensure the security and reliability of a modernized power grid, the current deployment of …

Dynamic systems exhibit time-dependent behaviours and complex functional dependencies
amongst their components. Therefore, to capture the full system failure behaviour, it is not …

We have designed and implemented an intrusion detection system (IDS) prototype based on
mobile agents. Our agents travel between monitored systems in a network of distributed …

Requirements analysis for an intrusion detection system (IDS) involves deriving
requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a …

Software quality is an important factor in the success of software companies. Traditional
software quality assurance techniques face some serious limitations especially in terms of …

Perceiving and understanding cyber-attacks can be a difficult task. This problem is widely
recognized and welldocumented, and more effective techniques are needed to aid cyber …

Avoidance and discovery of security vulnerabilities in information systems requires
awareness of typical risks and a good understanding of vulnerabilities and their …

Network security analysis must coordinate diverse sources of information to support effective
security models. The modeling, process must capture security-relevant information about …