Sciweavers

Share
ARCS
2004
Springer

Finite-State Modeling, Analysis and Testing of System Vulnerabilities

4 years 5 months ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or breaches, of any such property constitutes a system vulnerability, which can lead to a situation that is undesirable from user’s point of view. This undesired situation could be triggered by special events in the form of intended, or unintended, attacks from the system’s environment. We view the undesirable system features as the sum of the situations, which are, mathematically speaking, complementary to the desirable ones that must be taken into account from the very beginning of the system development to achieve a stable system behavior and a robust operation. This work is about the modeling, analysis and testing of both desirable and undesirable system features which can be viewed as relations between the system and its operation.
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where ARCS
Authors Fevzi Belli, Christof J. Budnik, Nimal Nissanke
Comments (0)
books