重型

重型技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

重型 全部资料 500 份

针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题，对安全协议一阶逻辑模型进行扩展，对逻辑推理中的规则及合一化操作进行分类，给出操作置换规则，在此基础上开发能对攻击进行重构的协议验证原型

2024-01-09 5 重型

重构，改善既有代码的设计，一本与设计模式齐名的书籍

2013-12-09 114 重型

查重，根据文件记录写索引树并根据索引查找重复话单。

2016-07-17 105 重型

重构，改善既有代码的设计（英文版）chm格式 Refactoring: Improving the Design of Existing Code 中文版的看了很不舒服，到了国外的网站才找到英文版的电子书

2016-07-25 113 重型

重构，这是一本很好的书籍，现在贡献给大家！

2013-12-09 145 重型

重构，用于新手学习如何重构并提高代码质量。

2014-07-25 49 重型