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

doi:1005-8885 (2008) 02-0088-09

中国邮电高校学报(英文) ›› 2008, Vol. 15 ›› Issue (2): 88-96.doi: 1005-8885 (2008) 02-0088-09

• Artificial Intelligence • 上一篇下一篇

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

王健，王慧强，赵国生

Institute of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China

收稿日期:2007-08-10 修回日期:1900-01-01 出版日期:2008-06-30
通讯作者: 王健

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

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

Institute of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China

Received:2007-08-10 Revised:1900-01-01 Online:2008-06-30
Contact: WANG Jian

摘要/Abstract

摘要：

Survivability should be considered beyond security for information system. To assess system survivability accurately, for improvement, a formal modeling and analysis method based on stochastic process algebra is proposed in this article. By abstracting the interactive behaviors between intruders and information system, a transferring graph of system state oriented survivability is constructed. On that basis, parameters are defined and system behaviors are characterized precisely with performance evaluation process algebra (PEPA), simultaneously considering the influence of different attack modes. Ultimately the formal model for survivability is established and quantitative analysis results are obtained by PEPA Workbench tool. Simulation experiments show the effectiveness and feasibility of the developed method, and it can help to direct the designation of survivable system.

关键词:

;survivability,;stochastic;process;algebra,;performance;evaluation;process;algebra,;formal;modeling,;quantitative;evaluation

Abstract:

Key words:

survivability;stochastic process algebra;performance evaluation process algebra;formal modeling;quantitative evaluation

中图分类号:

TP393

WANG Jian, WANG Hui-qiang, ZHAO Guo-sheng. Formal modeling and quantitative evaluation for information system survivability based on PEPA[J]. Acta Metallurgica Sinica(English letters), 2008, 15(2): 88-96.

参考文献

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. Hillston J. A compositional approach to performance modeling. http://www.dcs.ed.ac.uk/pepa/book.pdf, 1996

3. 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

4. Bernardo M, Corrieri R. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science, 1998, 202(1-2): 1-54

5. Clark G, Gilmore S, Hillston J, et al. Experiences with the PEPA performance modeling tools. IEEE Software, 1999, 146(1): 11-19

6. Hermanns H, Mertsiotakis V, Rettelbach M. A construction and analysis tool based on the stochastic process algebra TIPP. Proceedings of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’96), Mar 27-29, 1996, Passau, Germany. Berlin, Germany: Springer-Verlag, 1996: 427-430

7. Bernardo M, Cleaveland R, Sims S, et al. TWOTOWERS: a tool integrating functional and performance analysis of concurrent systems. Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV’98): Nov 3-6, 1998, Paris, France. Deventer, the Netherlands: Kluwer Academic Publishers, 1998: 457-467

8. Long Ke-ping, Cheng Ji-nu. Methodology and algorithms for planning cost effective high survivability SDH networks. The Journal of China Universities of Posts and Telecommunications, 1997, 4(1): 16-20

9. Hakki C, Cankaya S. Improved survivability analysis for SONET SHR. Computer Networks, 1999, 31 (23-24): 2505-2528

10. Chen D, Garg S. Network survivability performance evaluation: a quantitative approach with applications in wireless Ad-hoc networks. Proceedings of the 5th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM’02): Sep 28, 2002, Atlanta, GA, USA. New York, NY, USA: ACM, 2002: 61-68

11. Fung C, Chen Y L, et al. Survivability analysis of distributed systems using attack tree methodology. Proceedings of the Military Communications Conference (MILCOM’05): Vol 1, Oct 17-20, 2005, Seattle, WA, USA. Piscataway, NJ, USA: IEEE, 2005: 583-589

12. Gao Z X, Ong C H, Tan W K. Survivability assessment: modeling dependencies in information systems. Proceedings of 4th IEEE/CMU/SEI Information Survivability Workshop (ISW’02): Mar 18-20, 2002, Vancouver, Canada. Piscataway, NJ, USA: IEEE, 2002: 4p

13. Hevner A R, Linger R C, Kelley-Sobel A E, et al. The flow-service-quality framework: unified engineering for large-scale, adaptive systems. Proceedings of 35th Hawaii International Conference on System Sciences (HICSS’02): Vol 9, Jan 7-10, 2002, Big Island, HI, USA. Washington, DC, USA: IEEE Computer Society, 2002: 278-287

14. Guo Yuan-bo, Ma Jian-feng. Quantifying survivability of services in distributed system. Journal of Tongji University, 2002, 30(10): 1190-1193 (in Chinese)

15. Jha S K, Wing J M, Linger R C. Survivability analysis of network specifications. Proceedings of International Conference on Dependable Systems and Networks (DSN’00): Jun 25-28, 2000, New York, NY, USA. Washington, DC, USA: IEEE Computer Society, 2000: 613-622

16. Knight J C, Strunk E A, Sullivan K J. Towards a rigorous definition of information system survivability. Proceedings of the DARPA Information Survivability Conference and Exposition (DISCEX’03): Vol 1, Apr 22-24, 2003, Washington, DC, USA. Washington, DC, USA: IEEE Computer Society, 2003: 78-89

17. Dong S K, Khaja M S, Jong S P. A framework of survivability model for wireless sensor network. Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES’06): Apr 20-22, 2006, Vienna, Austria. Washington, DC, USA: IEEE Computer Society, 2006: 515-522

18. Thomas N, Bradley J, Thornley D. An approximate solution of PEPA models using component substitution. IEE Proceedings: Computers and Digital Techniques, 2003, 150(2): 67-74

[1]	梁晓林, 马佳旭, 曹旺斌, 徐建鹏, 刘帅奇, 赵雄文 . Characteristics and modeling of UAV-vehicle MIMO wideband channels [J]. 中国邮电高校学报(英文版), 2023, 30(6): 60-67.
[2]	Duan Li, Chen Lin, Luo Bing. Surveys on the application of neural networks to event extraction[J]. 中国邮电高校学报(英文版), 2023, 30(4): 43-54.
[3]	Yang Jingjing, Guo Yuchun, Zhao Yongxiang, Chen Yishuai. How time latency in navigation Apps affects traffic [J]. 中国邮电高校学报(英文版), 2022, 29(6): 53-63.
[4]	李玉杰张晶晶蒋伟王春晓. Research on emotional space for movie and TV drama videos[J]. 中国邮电高校学报(英文版), 2022, 29(5): 73-82.
[5]	Meng Wei, Wang Liting, Lu Meng. Summary of research on recommendation system based on serendipity[J]. 中国邮电高校学报(英文版), 2022, 29(4): 89-105.
[6]	Yao Shengshi, Wang Sixian, Dai Jincheng, Niu Kai, Xu Wenjun, Zhang Ping. Semantic information processing in industrial networks[J]. 中国邮电高校学报(英文版), 2022, 29(1): 41-49.
[7]	Zhu Xiaorong, Jing Chuanfang, Shi Jindou, Wang Yong, Ho Chifong. Data-flow in mobile edge computing networks: end-to-end performance analysis using stochastic network calculus[J]. 中国邮电高校学报(英文版), 2022, 29(1): 81-92.
[8]	白创吕豪张伟 Li Fan. Design and verification of on-chip debug circuit based on JTAG [J]. 中国邮电高校学报(英文版), 2021, 28(3): 95-101.
[9]	杨思琴江铭虎. Using an improved sentence paradigm of event-related potentials to examine puns’cognitive mechanism [J]. 中国邮电高校学报(英文版), 2021, 28(3): 102-110.
[10]	曹启贺李庆华邱书波韩丰键冯超. Partition sampling strategy for robot motion planning under uncertainty[J]. 中国邮电高校学报(英文版), 2021, 28(3): 49-62.
[11]	Xie Renchao, Liu Xu, Duan Xuefei, Tang Qinqin, Yu Fei Richard, Huang Tao. Dynamic computation offloading in time-varying environment for ultra-dense networks: a stochastic game approach[J]. 中国邮电高校学报(英文版), 2021, 28(2): 24-37.
[12]	陈彦萍靳晓东夏虹王忠民. Incremental QR-based tensor-train decomposition for industrial big data [J]. 中国邮电高校学报(英文版), 2021, 28(1): 10-23.
[13]	山蕊蒋林邓军勇崔朋飞张玉婷吴皓月谢晓燕. Parallel design of convolutional neural networks for remote sensing images object recognition based on data-driven array processor [J]. 中国邮电高校学报(英文版), 2020, 27(6): 87-100.
[14]	陈法权樊军. Real-time prediction of the motion tendency of human lower limbs during gait [J]. 中国邮电高校学报(英文版), 2020, 27(4): 1-7.
[15]	Zhao Guosheng, Liao Yuting, Wang Jian. Dynamic trust evaluation model for task participants oriented to mobile crowd sensing[J]. 中国邮电高校学报(英文版), 2020, 27(2): 26-36.

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

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

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价