信息系统的可生存性建模与分析研究
摘要
首先对可生存性的定义以及其相关概念进行了描述与比较,接着针对目前可生存性的大多数定义不能判断一个系统的可生存性状况,对可生存性的建模与分析方法进行了深入的研究,把模型检测与函数分析的方法相结合提出了基于Petrinet的网络可生存性的建模与分析方法,最后对可生存性分析进行了总结与展望。
出处
《甘肃科技》
2010年第21期34-38,共5页
Gansu Science and Technology
参考文献14
-
1N ANCY R M,ROBERT E,et al.Life-cycle models for survivable systems[C].Proceedings of the Third Information Survivability workshop(ISW-2000),2000:24-26.
-
2R.J.Ellison,D.A.Fisher,et al.Survivable Network System:An Emerging Discipline TECHNICAL REPORT,CMU/SEI-97-TR-013,ESC-TR-97-013,1999.
-
3John C.Knight,Elisabeth A.Strunk,Kevin J.Sullivan.Towards a Rigorous Definition of Information System Survivability.DARPA.Information Survivability Conference and Exposition,2003(1):78-89.
-
4Al-Kuwaiti,M.; Kyriakopoulos,N.; Hussein,S..Network Dependability,Fault-tolerance,Reliability,Security,Survivability:A Framework for Comparative Analysis.2006 International Conference on Computer Engineering and Systems,2006,Page(s):282-287.
-
5张慧敏,古天龙.网络可生存性的建模与分析技术[J].桂林电子科技大学学报,2006,26(5):370-374. 被引量:2
-
6Zhang,Le-Jun; Wang,Wei; Guo,Lin; Yang,Wu; Yang,Yong-Tian.A Survivability Quantitative Analysis Model for Network System Based on Attack Graph.International Conference on Machine Learning and Cybernetics,2007:3211-3216.
-
7林雪纲,许榕生.信息系统生存性分析模型研究[J].通信学报,2006,27(2):153-159. 被引量:11
-
8Yun liu,Kishor S.Trivadi.A General Framework for Network Survivability Quantification.12th GI/ITG Conference on Measuring,Modeling and Evaluation of Computer and Communication System,2004.
-
9David M.Nicol,William H.Sanders,Kishor S.Trivedi.Model-Basd Evaluation:From Dependability To Security[J].IEEE Transactionson Dependable and Secure Computing,2004,1(1):48-65.
-
10Max Walter and Carsten Trinitis.Automatic Generation of state based dependability models From Availability to Safety.20th International Conference on Architecture of Computing Systems 2007:63-72.
二级参考文献43
-
1包秀国,胡铭曾,张宏莉,张绍瑞.两种网络安全管理系统的生存性定量分析方法[J].通信学报,2004,25(9):34-41. 被引量:27
-
2林闯,汪洋,李泉林.网络安全的随机模型方法与评价技术[J].计算机学报,2005,28(12):1943-1956. 被引量:92
-
3HEVNER A,LINGER R.The flow-service-quality framework:unified engineering for large-scale,adaptive systems[A].Proceedings of the 35th Hawaii International Conference on System Sciences[C].Hawaii,USA,2002.278.
-
4MCDERMOTT J.Attack-potential-based survivability modeling for high-consequence systems[A].Proceedings of the 3rd IEEE International Workshop on Information Assurance (IWIA'05)[C].College Park,Maryland,2005.119-130.
-
5JHA S,WING J M.Survivability analysis of networked systems[A].Proceedings of the 23rd International Conference on Software Engineering (ICSE'01)[C].Toronto,Canada,2001.307-317.
-
6LIN X G,XU R S,ZHU M L.Survivability analysis for information systems[A].Proceedings of the 7th International Conference on Advanced Communication Technology (ICACT2005)[C].Phoenix Park,South Korea,2005.255-260.
-
7林雪纲,钱桂琼,孙巍等.一种分布式信息系统生存性分析管理平台[A].中国信息协会信息安全专业委员会2004年年会论文集[C].湖南,张家界,2004.163-170.
-
8ELLISON R J,FISHER D A,LINGER R C,et al.Survivable Network System:An Emerging Discipline[R].Technical Report,CMU/SEI-97-TR-013,Carnegie Mellon University,1997.
-
9MOITRA S D,KONDA S L.A Simulation Model for Managing Survivability of Networked Information Systems[R].Technical Report CMU/SEI-2000-TR-020,2000.
-
10LOUCA S,PITSILLIDES A,SAMARAS G.On network survivability algorithms based on trellis graph transformations[A].Proceedings of the Fourth IEEE Symposium on Computers and Communications[C].Red Sea,Egypt,1999.235-243.
共引文献11
-
1郑成兴.基于FSM模型的信息系统生存性计算[J].计算机工程与应用,2007,43(2):140-144.
-
2常德显,杨英杰.分布式网络审计系统的生存性设计[J].微计算机信息,2007(24):78-80. 被引量:5
-
3刘梅霞,古天龙.基于GSPN模型的Ad Hoc网络可生存性分析[J].桂林电子科技大学学报,2009,29(2):82-87. 被引量:1
-
4肖志力,何明,肖登海,周志杰.网络信息系统的可生存性评估研究[J].计算机工程与应用,2009,45(14):18-21. 被引量:3
-
5周睿,乔纯捷,王跃科.水下监测系统的生存性模型研究[J].兵工学报,2009,30(11):1553-1557.
-
6王志刚,杨世松.基于模糊综合评价的信息网络系统可生存性评估[J].网络安全技术与应用,2010(10):58-60. 被引量:4
-
7沈建春,陈佳庆,王志刚.基于模糊综合评价的信息网络系统可生存性评估[J].信息系统工程,2011,24(12):105-107.
-
8胡惠娟.浅析网络信息系统可生存性技术研究[J].计算机光盘软件与应用,2012,15(22):63-64.
-
9伍文,孟相如,刘芸江,火兴林.基于连续时间Markov的网络可生存性建模与量化[J].吉林大学学报(工学版),2013,43(5):1395-1400. 被引量:4
-
10朱世才,王海涛,吴连才,闫力.基于SMP的分簇WSN生存性评估模型[J].传感技术学报,2014,27(3):383-387. 被引量:5
-
1刘密霞,张玉清,洪毅.基于模糊推理的网络可生存性的建模与分析[J].通信学报,2009,30(1):31-37. 被引量:8
-
2林闯,汪洋,李泉林.网络安全的随机模型方法与评价技术[J].计算机学报,2005,28(12):1943-1956. 被引量:92
-
3金永贤,钱雯雯,温兴辉.嵌入式实时系统的可生存性建模[J].微型机与应用,2014,33(2):63-65.
-
4邹荣念,赵文涛,王鹏飞,张帆.嵌入式系统可生存性分析模型研究[J].计算机工程,2013,39(9):178-182. 被引量:1
-
5赵金凤,史庭俊,王佳佳,殷新春.基于随机Petri网的电信交换系统可生存性分析[J].计算机应用与软件,2009,26(6):37-40.
-
6梁莹莹,余奕.网络信息系统的可生存性分析[J].信息与电脑(理论版),2011(9):146-147.
-
7李良斌,王劲林,陈君.网络服务系统可生存性分析与验证[J].沈阳工业大学学报,2012,34(6):677-684. 被引量:3
-
8张慧敏,古天龙.基于Petri网模型的Ad Hoc网络可生存性分析[J].系统仿真学报,2008,20(9):2487-2490. 被引量:6
-
9陈家庆,刘俊,张大方.基于数据流的网络安全系统生存性评估研究[J].计算机工程与应用,2008,44(2):140-143. 被引量:2
-
10陈家庆,刘俊,张大方.网络安全管理系统的生存性建模与分析方法[J].计算机应用,2007,27(12):2947-2950.