Abstract:

 By analyzing the essential characters affecting survivability, service request and server, intruder and server are described as different components. Namely survivability model which accurately depicts system behaviors and properties is constructed from perspectives of users’ service requests and attack impact respectively with PEPA, and then similarities and differences are compared. Theoretical analysis and experimental results show that the model can exactly reflect key attributes of survivability and Theoreticallydirect the designation of survivable systems.

Key words:  survivability; stochastic process algebra; performance evaluation process algebra; formal modeling