论文部分内容阅读
作为安全保护技术的底层设计,协议对于网络及信息系统数据存储和传输起到了不可或缺的保护作用。文章在研究协议实现的安全测试的基础上,针对协议模型的形式化、测试序列的生成以及测试用例的描述等关键步骤进行了研究,对现有的测试用例生成方法进行分析,为研究新的测试用例生成方法提供借鉴。
不容忽视的网络空间底层安全设计
【摘 要】
：
作为安全保护技术的底层设计,协议对于网络及信息系统数据存储和传输起到了不可或缺的保护作用。文章在研究协议实现的安全测试的基础上,针对协议模型的形式化、测试序列的生成以及测试用例的描述等关键步骤进行了研究,对现有的测试用例生成方法进行分析,为研究新的测试用例生成方法提供借鉴。
【机 构】
：
后勤学院信息化教研室,
【出 处】
：
信息安全与通信保密
【发表日期】
：
2014年01期
其他文献
目的 分析总结小儿急腹症的临床诊断和治疗,减少漏诊、误诊.方法 小儿急腹症204例,其中急性阑尾炎116例,急性肠套叠26例,腹股沟疝嵌顿26例(并存其他病3例),急性肠梗阻10例,闭
考试管理作为教学过程的重要环节与高校教学管理的重要组成部分,必须采用科学规范的手段进行,提高学生的综合能力水平,提高教师的教学质量,提升学校的办学效率.因此,建立一个
幼儿天生喜欢游戏,游戏是培养幼儿群体交往的有效方法,幼儿之间通过游戏有了更多的接触.在游戏进行的过程中,幼儿能够增强自身的社会交往能力,有利于幼儿树立良好的人际交往
癫痫是一种常见的神经科疾病,如何控制病人的临床发作及提高病人的生活质量已成为一个不可避免的问题。单一的治疗方法已不能很好的控制病人的症状,如何综合治疗、如何指导病
目的 探讨彩色多普勒超声(color Doppler flow imaging, CDFI)检查对急性胆囊炎LC难度的预测价值.方法 99例因急性胆囊炎行LC的患者,根据术前CDFI检查的指标(胆囊容积、胆囊
对19例(38眼)以上睑结膜巨大乳头为特征且药物治疗无效的春季角结膜炎患儿行上睑乳头切除、冷冻联合羊膜移植治疗,同时给予针对性护理和定期随访.结果 术后随访5～15个月,17例(
研究显示糖尿病与慢性炎症相关,伴有核因子-kB(Nu-clear Factor kappa B,NF-KB)转录活性的异常,因此,针对NF-kB靶位点的治疗对于糖尿病患者是有益的.以下就慢性炎症在糖尿病
目的 探讨妊娠高血压综合征合并脑出血的发病率及相关护理因素,做到早期发现,增加抢救成功率,降低孕产妇死亡率.方法 对1999年1月至2007年1月住院妊娠高血压综合征患者临床资
1983年,Phillips等人参照Seld inger经皮穿刺放置心血管造影导管的技术,利用随着主动脉内球囊反搏(IABP)而发展起来的大孔径薄壁经皮穿刺套管针,创立经皮穿刺插管建立体外循
跨站点请求伪造(Cross-Site Request Forgery)是一种互联网上广泛存在的网络攻击,它通过第三方伪造用户请求来欺骗服务器端,达到冒充用户身份、行使用户权利的目的。文中通过分析跨站点请求伪造攻击的原理,并模拟其攻击过程、解析攻击产生的原因来向读者详细介绍此类攻击的特点,并从服务器端和客户端两个方向讨论了防御此类攻击的策略。