排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
针对传统Fuzzing测试应用于工控系统存在测试覆盖率和有效性低、异常监测手段受限等不足,提出了一种基于状态的工控协议Fuzzing测试方法。该方法采用XML脚本对协议状态机进行描述,设计了基于协议状态机的测试序列生成算法PSTSGM,对被测对象进行状态引导以求达到更高的命中率和覆盖率。提出了基于心跳的异常监测与定位方法HFDLM,采用心跳探测和循环定位的方式,对被测嵌入式设备进行异常行为监测和异常用例定位。设计并实现了基于中间人代理的模糊测试原型系统SCADA-Fuzz,对电力SCADA系统进行了测试。实验结果表明,利用状态引导的测试能够有效发现安全漏洞。 相似文献
2.
3.
4.
在近几年的农业灌溉工程中,混凝土蓄水池得到了广泛应用。在施工和应用中发现混凝土水池产生的裂缝是很普遍的现象。笔者根据多年的工程经验,分析探讨了混凝土水池出现裂缝产生原因及预防措施。钢筋混凝土水池产生裂缝而发生渗漏是很普遍的现象,本文探讨分析了钢筋混凝土水池常见裂缝的产生原因和预防措施。 相似文献
6.
采用羰基热分解法对多壁碳纳米管表面进行镀钨处理,并以镀钨碳纳米管和电解铜粉为原料,进行机械球磨混粉和放电等离子体烧结,制备了镀钨碳纳米管/铜基复合材料.采用场发射扫描电镜观察了粉体和复合材料的组织形貌,并对复合材料物相进行了X射线衍射分析.探讨了镀钨碳纳米管含量和放电等离子体烧结温度对复合材料致密度、抗拉强度、延伸率和电导率的影响.结果表明,镀钨碳纳米管质量分数为1%和烧结温度为850℃时,复合材料的致密度、抗拉强度和电导率最高.与烧结纯铜相比,复合材料的抗拉强度提高了103.6%,电导率仅降低15.9%. 相似文献
7.
针对工控协议Fuzzing测试存在测试脚本编写工作量大、测试用例的覆盖面小、测试效率低等问题,文章提出了一种基于范式语法的工控协议Fuzzing测试方法。方法首先以改进的扩展巴科斯范式(Modified Augmented Backus-Naur Form: MABNF)描述工控协议;然后根据范式语法模型,将报文样本解析为范式语法变异树,进而生成范式语法变异树的描述脚本;文章提出了基于MABNF变异树的测试用例生成算法(MABNF-mutation-tree based Test-cases Generating Method: MTGM),算法先对MABNF变异树进行深度优先遍历,再采用语义变异策略对节点实施变异;最后利用MTGM得到冗余少、有效性高的测试用例集。使用该方法,文章实现了基于Peach的工控协议Fuzzing测试原型系统M-Peach,对供水SCADA系统进行了测试。与Peach的对比实验表明,文章所提出的方法能有效减少测试冗余,提高测试用例集的覆盖面和测试效率。 相似文献
8.
水利是农业的命脉,在改善农业生产条件、提高农民生活水平、保护生态环境等方面具有不可替代的重要地位和作用。文章探讨了陕县农村小型水利工程的现状、存在的问题及原因,并提出了对策和建议。 相似文献
9.
10.
BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题,提出了一种基于有限状态机的BGP-4协议模糊测试方法BFuzz,设计了测试序列生成算法TSGF(Test Sequences Generation for Fuzzing)和测试用例生成算法TCGVF(Test Cases Generation based on Vulnerable Fields),实现了原型系统BFuzzer。测试结果表明该方法能够有效地挖掘BGP-4协议中的漏洞。 相似文献