Survivability modelling with Petri nets
Abstract
Computer system security evaluation using survivability characteristic is described. Incident arrival process is a stochastic point Poisson process. The computer system is described using the defense mechanism strength, system design and configuration. The computer system and the impact on it are modeled using elementary Petri nets. Future work is planned.