论文部分内容阅读
本文提出了一种基于PEPA的可生存性形式化建模方法，对攻击者和信息系统的交互行为进行精简抽象，构建面向系统可生存性的状态转换图。在此基础上，建立可量化的生存性形式化模型，为可生存系统的设计提供理论指导。
基于PEPA的信息系统可生存性形式化模型
【摘 要】
：
本文提出了一种基于PEPA的可生存性形式化建模方法，对攻击者和信息系统的交互行为进行精简抽象，构建面向系统可生存性的状态转换图。在此基础上，建立可量化的生存性形式化模型，为
【机 构】
：
哈尔滨师范大学网络中心
【出 处】
：
价值工程
【发表日期】
：
2010年27期
【基金项目】
：
黑龙江省教育厅科学技术研究项目（11531237）,哈尔滨师范大学科学技术研究项目（KM2007-14）.
其他文献
档案是历史的真实记录，档案既具有历史性，又具有真实性，它的历史性和真实性是在人们实践活动中自然形成的，同时也是人们实践活动的凭证。档案的历史性和档案的真实性，都是通过一定
文章在计算机网络的基础上，分析了计算机网络安全的现状，介绍了几种网络安全的常用技术，提出了计算机网络信息安全应注重研究的几个问题。
本文从自己的教学经验出发,从课堂教学的讲授特点、民主教学、趣味教学、教学语体等四个方面谈如何创造特色鲜明的课堂教学风格。
信息、网络技术在电力企业的生产运行、经营中发挥着重要作用，特别是随着互联网的迅猛发展，近年来在电力行业中各种信息化、数字化技术相继得到广泛地推广及应用。电力企业已建
本文从就业角度分析了工程管理本科专业人才培养过程中存在的问题,结合市场需求和毕业生回访调查结果提出了工程管理本科专业教学改革方案,为工程管理本科专业人才培养提供借
从试卷的题量与难度、结构、特点出发，全面地分析2010年江苏省高考历史试卷，并提出今后的教学建议及方向。
主要介绍MPLS VPN网络系统组成及关键技术，并对MPLS VPN技术在铁路通信中的应用加以探讨，
建设创新型国家的战略目标对人才的创新精神和实践能力提出了更高的要求,高等学校加快培养创新型人才已经成为当前高校教育的一个重要内容之一。高校辅导员是服务和管理大学
交换是通信技术的重要组成部分,交换技术是高等学校通信工程专业课中的主干课程。本文结合华北电力大学对毕业生的专业课教学调查,分析了教和学过程中的主要问题,提出了相应
服饰色彩作为一定社会伦理的外部表现，以自己特有的物质形式表现着这些伦理观念，从而以一定文化符号的形式构建了服饰色彩伦理的道德内容和价值体系。服饰色彩的这种真假区分、