论文部分内容阅读
研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函数实现软件错误注入的安全测试方法及实现方法.对四个应用软件进行了实际测试,实验结果表明,该方法是有效的.
一种基于EAI模型的软件安全测试方法
【摘 要】
：
研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函数实现软件错误注入的安全测试方法及实现方法.对四个应用软件进行了实际测试,实验结果表明,该方法是有效的.
【机 构】
：
中国科学技术大学
【出 处】
：
华中科技大学学报(自然科学版)
【发表日期】
：
2005年S1期
其他文献
提出了一种高效的半自动构建语义单元表示库(英汉)的方法.该方法不是使用分词和词性标注等工具,而是直接对组成双语句子的基本字符进行处理,采用语义单元实量匹配和重构语义
提出了一种基于计算的动态密钥生成算法.对算法进行了安全性和效率方面的分析,论证了基于该算法的密钥管理方案的安全可行性.该算法非常适用于组播规模较大的环境下的应用,与
【正】 一史前岩洞壁画人类造型艺术的开端可以追溯到史前岩洞壁画。从十九世纪末叶起,史前岩洞壁画在欧洲、非洲、亚洲等地相继发现。1879年,在西班牙北部赛当德尔附近的阿
构建抗PAF单链抗体的基因并通过计算机模建分析几种不同连接类型的单链抗体空间结构差异.采用重叠延伸PCR方法扩增了VH和VL基因,形成抗PAF的VH-Linker-VL(ScFv)基因产物,并经