基于随机Petri网的Web网站系统的脆弱性评价研究

来源 :兰州大学 | 被引量 : 0次 | 上传用户:sccdxlxsq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在计算机安全领域,特别是网络安全领域,对计算机网络系统进行脆弱性评估就显得越来越重要。本文针对Web网站系统的脆弱性进行评估研究,文章涉及的内容和主要工作:1.本文在对Web网站系统的拓扑及部署情况进行分析的基础上,对随机Petri网及随机Petri网的模型方法进行了研究。2.针对目前网络中普遍存在的Web网站系统,详细阐述了如何应用随机Petri网模型对其脆弱性进行评估。利用随机Petri网模型方法进行建模,并通过随机Petri网与马尔可夫过程同构的数学保证对模型进行形式化的分析,得到影响系统脆弱性的参数和结果。3.对这些参数和结果进行数值的分析和研究,得出系统的失效率、修复率与系统可靠性、可用性的关系。设置不同的系统参数,计算出对应的系统可用性,并通过绘制失效率、修复率与系统可用性的关系图,直观的反应出了他们之间的相互关系。4.对随机Petri网模型方法中存在一些有待解决的问题进行了重点分析,也对系统脆弱性评估的全过程,包括问题抽象、模型建立、模型计算、评价参数设置等整体存在的问题进行了分析,提出了下一步工作的重点和方向。
其他文献
定性空间推理(Qualitative Spatial Reasoning)研究的是人类对空间对象及其关系定性认知常识的表示与处理。近几年来,定性空间推理已被广泛应用于空间数据查询、定性导航、地
随着传感器技术、嵌入式计算技术、微机电系统和无线通信技术的飞速发展和日益成熟,无线传感器网络(wireless sensor network, WSN)应运而生。在这种网络中,由大量传感器节点
SoC技术的研究、应用和发展是微电子技术发展的一个新的里程碑,而SoC软/硬件协同验证技术正是伴随着SoC系统集成度和复杂性的不断提高而发展起来的,并在SoC设计中发挥越来越重
本文针对印刷体数学表达式识别系统中结构分析后处理部分进行研究。首先,对表达式结构分析中常出现的错误进行分析,找到错误出现的原因。然后,运用数学知识和数学表达式语法
结合物联网技术与人工智能、计算机控制的优点,论文以智能考试应用为背景,研究人脸检测技术。在智能考试系统中最初的模块就是实现有效的考生入场检录工作,为考试的有序开展
90年代初,一种新型的学习算法在原有统计学习理论的基础上被提了出来,即支持向量机——Support Vector Machine(SVM)。它着重于研究小样本条件下的统计规律。目前其理论研究
数据挖掘技术是机器学习、数据库和统计理论相结合的产物,是从大量的、不完全的、有噪声的、模糊的、随机的实际数据中,提取隐含的、先前未知的并有潜在价值的信息的非平凡过
在大数据时代,人们不再被从何获取资讯所困扰,而是为信息的爆炸性增长感到烦恼。如何从这些数据中挖掘出有价值的、用户感兴趣的信息,是大数据时代人们讨论的焦点。在每日剧