基于状态检测的TCP应用服务端安全测试

来源 :四川大学学报(工程科学版) | 被引量 : 0次 | 上传用户:intaaae
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对由API函数实现的TCP协议不具安全性,以及常规安全检测仅对连接初始状态进行安全测试的局限性,提出基于连接的全程状态监控的安全测试方法:1)提出了基于全程的连接监控和检测的方法,以改善系统的安全性;2)运用有限状态机的理论和方法对TCP协议进行分析,并结合状态转移序列的安全路径和临界循环路径以及时钟检测技术,提出了TCP服务端的安全测试模型;3)给出形式化描述和验证机制,在形式化定义的基础上,分析了检测方法的正确性;4)设计了TCP服务端的安全状态检测算法,进行了相应的试验验证.基于全程状态检测的安全
其他文献
盆腔包裹性积液妇科较为常见,多继发于盆腔炎和腹部手术以后,具有病程迁延难愈、易复发且单一治疗难以奏效的特点,治愈难度大。本文进行综合疗法治疗,以观察其临床效果,现报道如下
高等教育应与快速发展变化的市场需求相适应。发展职业技术型本科教育,使本科教育从单一的理论性本科扩展到职业性本科,在中国高等教育中实现本科教育的多样化将是一种有益的探
高职院校教师职业技能的高低是关系高职教育能否办出特色、培养出社会所急需的高技能人才的关键。长期以来,我国高职教师与普通高校教师的来源一致、结构趋同是造成我国高职教
以空气-水,空气-CMC(羧甲基纤维素)水溶液体系,采用脉冲示踪和稳态微压差法测取相关数据,研究了两侧及轴向进料水平撞击流管式反应器中表观液速UL、气体喷出速度Ug、及液体粘
新媒体的迅速崛起使电视新闻遭遇尴尬,电视新闻的信息滞后性、个性化不足以及互动不足等缺陷被凸显出来。但是电视新闻也有自己的优势,如有强大的媒体人团队,能够对新闻进行
本文介绍了不同结晶度的碳材料在一定的高温高压条件下的形态及变化,并对碳在触媒合金Ni70Mn25Co5中的溶解再结晶情况进行了观测和分析,得出在同一条件下碳材料在触媒中的扩散与其结晶度有
使用 Matlab ANN工具箱,将传统TRIZ理论的核心--冲突矩阵变换为一个以工程参数及其冲突为输入层,以冲突解决原理为输出层,并包括一个隐含层的三层BP人工神经网络模型.该模型
以铂类为主的联合化疗是卵巢癌标准治疗方案之一,顺铂是目前最强致吐细胞毒药物。由于严重的胃肠道反应可直接影响患者的进食,降低营养素的摄入,间接影响化疗疗效和化疗期病人的
移动互联网时代国民阅读方式正逐步改变,即从传统纸质阅读向新媒体阅读过渡。微信阅读作为新媒体阅读的代表,成为当今社会人们阅读的主要方式。本文作者通过参阅相关文献并结
公安院校的法学教育必须遵循兼顾当前利益标准和长远利益标准、适应性标准和创造性标准、市场标准和学术标准等。在此前提下,应将公安院校法学教育的目标确定为:培养具备先进的