收藏本站
《山东大学学报(理学版)》 2011年09期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

任务关键系统可生存性的形式化建模方法

王健  郭黎利  李扬  
【摘要】:通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 赵国生;刘海龙;苏岩;;基于PEPA的信息系统可生存性形式化模型[J];价值工程;2010年27期
2 郭渊博,马建峰;分布式系统中服务可生存性的定量分析[J];同济大学学报(自然科学版);2002年10期
3 林闯,彭雪海;可信网络研究[J];计算机学报;2005年05期
4 任毅,肖治庭,蔡均平;信息系统生存性仿真模型研究[J];计算机仿真;2005年05期
5 柴争义;;入侵容忍技术及其实现[J];计算机技术与发展;2007年02期
6 易慧;杨泽新;;网络存储系统的可生存性研究[J];软件导刊;2007年13期
7 韩建军;张迎;;网络可生存性研究综述[J];今日科苑;2007年18期
8 张乐君;国林;王巍;杨武;杨永田;;网络系统可生存性评估与增强技术研究概述[J];计算机科学;2007年08期
9 裴斐;金秋;;一种网络可生存性检验模型的形式验证[J];中原工学院学报;2010年04期
10 单智勇;石文昌;梁彬;孟晓峰;;增强可生存性的访问控制模型[J];计算机工程与应用;2008年35期
中国重要会议论文全文数据库 前10条
1 张鸿志;张玉清;;网络可生存性研究进展[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 高岩;;一类非线性控制系统可生存性判别准则[A];2006年中国运筹学会数学规划分会代表会议暨第六届学术会议论文集[C];2006年
3 潘耘;王励成;余镇危;梁辉;;基于随机进程代数的Overlay网络上的QoS性能评价[A];中国通信学会通信软件技术委员会2009年学术会议论文集[C];2009年
4 贾连兴;易慧;曹建明;;浅析网络系统的可生存性分析与建模方法[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
5 黄燕芳;张玉清;;可生存性控制系统的有限状态机的设计[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
6 郭渊博;马俊;张畅;王亚弟;;空间网络一体化安全与可生存性体系结构及关键技术[A];中国宇航学会深空探测技术专业委员会第四届学术年会论文集[C];2007年
7 付戈;时杰;李专;张国宾;胡红清;朱虹;;一种有效的受损数据隔离方法[A];NDBC2010第27届中国数据库学术会议论文集A辑二[C];2010年
8 刘俊;陈家庆;张大方;;一种网络安全管理系统生存性分析方法[A];第四届中国测试学术会议论文集[C];2006年
9 董庆宽;张玉清;冯登国;;网络应急响应体系架构及其建设的实施方案研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
10 戴华;秦小麟;柏传杰;;一种基于事务模板的恶意事务检测方法[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
中国重要报纸全文数据库 前10条
1 东东;RPR:离规模商用有多远[N];中国电子报;2004年
2 韩永军;迈向信息社会必须保障网络安全[N];人民邮电;2006年
3 ;《哈利·波特》的双重解读[N];中华读书报;2003年
4 何宝宏;互联网“端到端透明”面临挑战[N];人民邮电;2006年
5 ;光通信技术三大预测[N];通信产业报;2004年
6 记者 吴苡婷 通讯员 李登峰;汇聚英才的“集结号”在这里吹响[N];上海科技报;2008年
7 梁修蔚;用科学管理提升信息技术装备的效能[N];解放军报;2003年
8 上海西门子数字程控通信系统有限公司;西门子OpenScape提升企业应对业务挑战能力[N];通信产业报;2008年
9 ;波长交换路由器的特点和应用[N];人民邮电;2002年
10 郭佳 齐宁;将信息优势转为作战能力[N];解放军报;2010年
中国博士学位论文全文数据库 前8条
1 王超;可生存网络系统的理论与关键技术研究[D];西安电子科技大学;2006年
2 张薇;信息存储系统可生存性理论与关键技术研究[D];西安电子科技大学;2008年
3 刘密霞;网络安全态势分析与可生存性评估研究[D];兰州理工大学;2008年
4 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
5 王垚;域名系统安全性研究[D];哈尔滨工业大学;2007年
6 李晓鸿;无线自组织网络拓扑控制算法和协议研究[D];湖南大学;2010年
7 余斌霄;无线网络的安全性[D];西安电子科技大学;2006年
8 黄遵国;面向生存能力的应急响应与事故恢复技术研究[D];国防科学技术大学;2003年
中国硕士学位论文全文数据库 前10条
1 柏彬;可生存性网络系统框架及网络可生存性量化评估[D];电子科技大学;2010年
2 张鸿志;网络可生存性研究[D];西安电子科技大学;2005年
3 刘鹃梅;Ad hoc网络可生存性研究[D];中南大学;2010年
4 付娟;电网SCADA系统的脆弱性分析与可生存性评估研究[D];北京邮电大学;2011年
5 胡海波;重庆市电子政务外网系统可生存性技术研究[D];重庆大学;2004年
6 王可;可生存网络服务模型研究[D];哈尔滨工程大学;2006年
7 王建国;嵌入式实时系统可生存性研究[D];浙江师范大学;2009年
8 陈家庆;基于生存数据流图的可生存性定量分析及模型设计方法[D];湖南大学;2008年
9 赵金凤;网络系统的可生存性分析[D];扬州大学;2008年
10 李杨;可生存性嵌入式OS的内存管理技术研究与实现[D];电子科技大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026