Formal modeling and quantitative evaluation for information system survivability based on PEPA-Reference-Cited by-同舟云学术

Formal modeling and quantitative evaluation for information system survivability based on PEPA

Published:2008-06 Issue:2 Volume:15 Page:88-113
ISSN:1005-8885
Container-title:The Journal of China Universities of Posts and Telecommunications
language:en
Short-container-title:The Journal of China Universities of Posts and Telecommunications

Author:

WANG Jian,WANG Hui-qiang,ZHAO Guo-sheng

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Information Systems,Signal Processing

Reference17 articles.

1. Westmark V R. A definition for information system survivability. Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS'04): Vol 9, Jan 5–8, 2004, Big Island, HI, USA. Piscataway, NJ, USA: IEEE, 2004: 2086–2096.

2. Hermanns H, Herzog U, Mertsiotakis V. Stochastic process algebras as a tool for performance and dependability modeling. Proceedings of International Computer Performance and Dependability Symposium (IPDS'95): Apr 24–26, 1995, Erlangen, Germany. Washington, DC, USA: IEEE Computer Society, 1995: 102–111.

3. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time;Bernardo;Theoretical Computer Science,1998

4. Experiences with the PEPA performance modeling tools;Clark;IEEE Software,1999

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Autonomous Cognitive Model and Analysis for Survivable System;Mathematical Problems in Engineering;2020-08-27

2. Availability Modeling of Generalized $k$ -Out-of- $n$ :G Warm Standby Systems With PEPA;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2017-12

3. Study on Four-Level Emergency Rejuvenation for Survivable System;Applied Mechanics and Materials;2013-08