排序方式: 共有62条查询结果,搜索用时 15 毫秒
1.
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。 相似文献
2.
植酸在金属防护中的应用 总被引:16,自引:1,他引:16
介绍了植酸在金属防腐、磷化、钝化等工艺中的最新 开发应用成果.应用结果表明,植酸确为一种优良的金属缓蚀成膜添加剂,极具推广价值。 相似文献
3.
4.
1存在问题
福州电业局输电线路以220kV/110kV为骨干网,辅之35kV线路。架空输电线路所经地区的气候、地形、地质和各种自然条件很复杂。因为高土壤电阻率、海洋季风、雷云距地较低、地面落雷密度大等因素的影响,在雷雨季节线路遭受雷击跳闸次数较多。 相似文献
5.
6.
本文根据笔者多年施工实践,对后张预应力混凝土结构桥梁工程采用真空压浆进行了分析,并结合工程实例的应用,从多方面论述了真空压浆技术的工作原理、施工工艺和技术优势,对其施工效果进行了评析。 相似文献
7.
开展地质灾害勘察不仅可以掌握当地地质实际情况,同时也可以结合所掌握的信息制定出有效的预防措施,降低水土流失等问题,在恢复生态功能等的基础上为人与自然和谐、稳定发展提供支持。因此工作人员需要及时针对地质灾害情况进行分析,采取有效的勘察措施,利用专门的防治技术做好控制工作,制定出有效的防治方案。 相似文献
8.
9.
10.
从合成绝缘子的结构特征、失效机理出发,总结分析了国内外合成绝缘子的运行现状、经验;通过技术、经济比较目前国内外常用的各种仪器、方法,同时就现场测试与实验室模拟进行比对,得出目前相对合理便于现场操作的带电检测方案。 相似文献