模型重构
模型重构技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
模型重构 热门资料
查看全部 500 份 →安全协议一阶逻辑模型中攻击重构的实现
针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题，对安全协议一阶逻辑模型进行扩展，对逻辑推理中的规则及合一化操作进行分类，给出操作置换规则，在此基础上开发能对攻击进行重构的协议验证原型
2024-01-09
5
重构
重构，改善既有代码的设计（英文版）chm格式 Refactoring: Improving the Design of Existing Code 中文版的看了很不舒服，到了国外的网站才找到英文版的电子书
2016-07-25
113