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

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

Acta Metallurgica Sinica(English letters) ›› 2008, Vol. 15 ›› Issue (2): 88-96.doi: 1005-8885 (2008) 02-0088-09

• Wireless • Previous Articles Next Articles

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

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.

Key words:

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

CLC Number:

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.

References

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

Metrics

Comments

Copyright © 2020 The Journal of China Universities of Posts and Telecommunications
　 Adress: P.O. Box 231,Beijing University of Posts and Telecommunications,10 Xi Tucheng Road,Beijing 100876,P.R.China　Post Code: 100081
Tel：86-010-62282493　Fax： 86-010-62283461　E-mail: jchupt@bupt.edu.cn
Support by: Beijing Magtech Co.Ltd

[1]	. Trusted GPSR protocol without reputation faking in VANET [J]. Acta Metallurgica Sinica(English letters), 2015, 22(5): 22-31.
[2]	Wen-Xiao SHI Dan WU Yin-Long XU Ji-Hong WANG. Routing metric of interference-aware link quality: an improved ETX in wireless mesh networks [J]. Acta Metallurgica Sinica(English letters), 2014, 21(5): 61-67.
[3]	. Autonomic discovery of subgoals in hierarchical reinforcement learning [J]. Acta Metallurgica Sinica(English letters), 2014, 21(5): 94-104.
[4]	. Host load prediction in cloud based on classification methods [J]. Acta Metallurgica Sinica(English letters), 2014, 21(4): 40-46.
[5]	. Cloud download system optimizing by job and notification scheduling [J]. Acta Metallurgica Sinica(English letters), 2014, 21(4): 47-53.
[6]	WANG Ruo-yu , LIU Zhen, ZHANG Ling. Method of data cleaning for network traffic classification [J]. Acta Metallurgica Sinica(English letters), 2014, 21(3): 35-45.
[7]	. MapReduce optimization algorithm based on machine learning in heterogeneous cloud environment [J]. Acta Metallurgica Sinica(English letters), 2013, 20(6): 77-87.
[8]	LI Wen-ji, ZHENG Kang-feng, ZHANG Dong-mei, YE-Qing, YANG Yi-xian. Efficient identity-based signature scheme with batch authentication for delay tolerant mobile sensor network [J]. Acta Metallurgica Sinica(English letters), 2013, 20(4): 80-86.
[9]	FU Xiong , ZHU Xin-xin, HAN Jing-yu, WANG Ru-chuan. QoS-aware replica placement for data intensive applications [J]. Acta Metallurgica Sinica(English letters), 2013, 20(3): 43-47.
[10]	YAO Yu-kun , WANG Guan, REN Zhi, LI Peng-xiang, CHEN Yong-chao. Efficient distributed address assignment algorithm based on topology maintenance in ZigBee networks [J]. Acta Metallurgica Sinica(English letters), 2013, 20(3): 53-59.
[11]	ZHANG Zhao-liang, LI Dong, HUANG Ting-pei, CUI Li. Leveraging data fusion to improve barrier coverage in wireless sensor networks [J]. Acta Metallurgica Sinica(English letters), 2013, 20(1): 26-36.
[12]	SHA Chao, WANG Ru-chuan. Energy-efficient node deployment strategy forwireless sensor networks [J]. Acta Metallurgica Sinica(English letters), 2013, 20(1): 54-57.
[13]	YAO Yu-kun, WEN Ya-di, REN Zhi, LIU Zhi-hu. High efficient multipacket decoding approach for network coding in wireless networks [J]. Acta Metallurgica Sinica(English letters), 2013, 20(1): 95-100.
[14]	. Further results on local stability of LRC-RED algorithm in Internet [J]. Acta Metallurgica Sinica(English letters), 2012, 19(5): 99-103.
[15]	. Stability analysis in an AVQ model of Internet congestion control algorithm [J]. Acta Metallurgica Sinica(English letters), 2012, 19(4): 22-28.

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments