关键词: 可生存性;随机进程代数;性能评估进程代数;形式化建模

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