收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

可生存性控制系统的有限状态机的设计

黄燕芳  张玉清  
【摘要】:文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能和故障元素之间的布尔函数关系,给出可生存性控制系统的有限状态机的形式化规范,并自动满足受控系统的可生存性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 林闯,彭雪海;可信网络研究[J];计算机学报;2005年05期
2 柴争义;;入侵容忍技术及其实现[J];计算机技术与发展;2007年02期
3 韩建军;张迎;;网络可生存性研究综述[J];今日科苑;2007年18期
4 张乐君;国林;王巍;杨武;杨永田;;网络系统可生存性评估与增强技术研究概述[J];计算机科学;2007年08期
5 单智勇;石文昌;梁彬;孟晓峰;;增强可生存性的访问控制模型[J];计算机工程与应用;2008年35期
6 吴秋萍;;网络信息系统的可生存性研究[J];计算机安全;2011年06期
7 李家春,李之棠;动态网络安全模型的研究[J];华中科技大学学报(自然科学版);2003年03期
8 张磊;戴浩;马明凯;;面向可生存性的网络攻击分类方法[J];计算机应用;2008年S1期
9 黄华;;基于免疫学机理网络系统可生存性研究[J];应用科技;2009年04期
10 熊琦;王丽娜;刘陶;余荣威;;面向容侵系统可生存性量化的随机博弈模型研究[J];小型微型计算机系统;2008年10期
11 宁锐;黄遵国;;一种可生存性的DDoS防御方案[J];科技信息;2009年12期
12 张慧敏;古天龙;;网络可生存性的建模与分析技术[J];桂林电子科技大学学报;2006年05期
13 周向华;;浅谈可生存网络系统[J];科技信息(学术版);2006年12期
14 刘智涛;刘亚琦;;网络容忍入侵技术分析研究[J];咸阳师范学院学报;2008年02期
15 王健;王慧强;赵国生;;信息系统可生存性定量评估的指标体系[J];计算机工程;2009年03期
16 鲁懿文;张桂戌;;一种基于入侵容忍的可生存系统设计方案[J];计算机应用与软件;2009年01期
17 张磊;戴浩;马明凯;胥少卿;;一种伪随机自治服务可生存调度算法[J];计算机工程;2009年11期
18 黄继鹏;帅春燕;;基于保能性的层次化系统可生存性评估方法[J];计算机工程与应用;2010年24期
19 蔡均平;肖治庭;李雪冬;;基于云模型的军事信息网络可生存性评估[J];武汉理工大学学报;2010年20期
20 黄燕芳;张玉清;;可生存性控制系统的有限状态机的设计[J];微电子学与计算机;2006年10期
中国重要会议论文全文数据库 前10条
1 张鸿志;张玉清;;网络可生存性研究进展[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 贾连兴;易慧;曹建明;;浅析网络系统的可生存性分析与建模方法[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
3 黄燕芳;张玉清;;可生存性控制系统的有限状态机的设计[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
4 刘俊;陈家庆;张大方;;一种网络安全管理系统生存性分析方法[A];第四届中国测试学术会议论文集[C];2006年
5 董庆宽;张玉清;冯登国;;网络应急响应体系架构及其建设的实施方案研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
6 董木伟;刘宇靖;彭伟;;两种区域故障模型下的互联网城市拓扑可生存性研究[A];第十六届全国青年通信学术会议论文集(上)[C];2011年
7 刘红军;黄遵国;黄剑;;面向生存性的攻击行为预测关联分析研究[A];全国网络与信息安全技术研讨会'2005论文集(上册)[C];2005年
8 张乐君;杨武;云晓春;王巍;杨永田;;基于自主配置的系统生存性增强算法研究[A];全国网络与信息安全技术研讨会论文集(上册)[C];2007年
9 郭渊博;马建峰;;一种面向服务的分布式容忍入侵系统体系结构[A];第十九次全国计算机安全学术交流会论文集[C];2004年
10 王良;栗跃鹏;杨尚;靳君伟;单智勇;杨小平;;基于依赖图的入侵检测研究[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
中国博士学位论文全文数据库 前10条
1 赵成丽;网络信息系统可生存性的若干关键技术研究[D];吉林大学;2013年
2 赵金辉;基于可变模糊集理论的系统生存性关键技术研究[D];中国矿业大学(北京);2011年
3 王超;可生存网络系统的理论与关键技术研究[D];西安电子科技大学;2006年
4 刘密霞;网络安全态势分析与可生存性评估研究[D];兰州理工大学;2008年
5 王垚;域名系统安全性研究[D];哈尔滨工业大学;2007年
6 杨勇;SOA等级化服务替换理论与机制[D];复旦大学;2011年
7 卢华玮;面向可信计算的分布式故障检测系统研究[D];重庆大学;2012年
8 胡乔林;可生存性域间路由协议关键技术研究[D];国防科学技术大学;2010年
9 王纯子;复杂网络攻击建模与安全评估方法研究[D];西安建筑科技大学;2011年
10 程祥;高效可靠的虚拟网络映射技术研究[D];北京邮电大学;2013年
中国硕士学位论文全文数据库 前10条
1 柏彬;可生存性网络系统框架及网络可生存性量化评估[D];电子科技大学;2010年
2 张鸿志;网络可生存性研究[D];西安电子科技大学;2005年
3 周赵军;特洛伊木马可生存性技术研究和实现[D];电子科技大学;2012年
4 晏婧;非对称信息共享环境下P2P网络服务可生存性机制和方法研究[D];电子科技大学;2013年
5 胡海波;重庆市电子政务外网系统可生存性技术研究[D];重庆大学;2004年
6 王可;可生存网络服务模型研究[D];哈尔滨工程大学;2006年
7 陈家庆;基于生存数据流图的可生存性定量分析及模型设计方法[D];湖南大学;2008年
8 赵金凤;网络系统的可生存性分析[D];扬州大学;2008年
9 王健;网络可生存性研究[D];哈尔滨工程大学;2006年
10 何欣;网络信息系统互联可生存性的研究[D];西安电子科技大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978