资源列表
[其他小程序] secure_protocal_about_strand
说明::提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同 时完成对一些数据例如会话密钥等的协商。依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协 议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nat<韩超> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[Windows编程] kaoshixinxiguanli
说明:vc++做的学校考试管理信息系统,数据库的密码是score,数据库设计比较完善,有很好的参考价值。-vc++ Does the school management information systems, database password is score, relatively perfect database design, has a very good reference value.<> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[.net编程] C++_FLASH_
说明:显示多姿多彩的动画图标,正确的源码,来源于光盘资料-Show colorful animated icon, the correct source, from the CD-ROM<李育> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[其他小程序] zlib-1.2.1.tar
说明:一种压缩解压引擎的核心算法,与RAR,ARJ等相同。具体请见RAR文件。-A compression engine core decompression algorithm, and RAR, ARJ, etc. the same. Specific, see RAR files.<dengh> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[通讯编程] libmodbus-1.2.4.tar
说明:基于modbus protocal 编写的串口程序-Modbus protocal prepared based on the serial process<海川> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[Windows编程] RockCarryPL0
说明: RockCarry PL/0 语言编译器(一下简称RCompiler),是一个能将PL/0语言的源程序编译成 为多种形式的目标代码的编译器。目前的RCompiler支持的PL/0语言是一种微型的Pascal语言, 关于该语言的详细说明请参见“PL0语言简介.txt”一文。 RCompiler的输出类型可以是:1.四元式形式的中间代码和符号表、2.符合RVM虚拟机规范的 RVM代码文件(该文件可以被RVM虚<王锋> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[其他小程序] 02
说明:Flash示例再来一个,希望对你们对点帮助,谢谢关注-Flash back a sample, and they hope to help you on the point, thank you concerned about the<pierzaixian> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[其他小程序] 11912930snug06_cohen_sri_aji1.tar
说明:system verilog 的好例子 system verilog 的好例子-system verilog a good example of a good example of system verilog<ah> 在 2025-03-13 上传 | 大小:338kb | 下载:0
[其他小程序] tranlateasc
说明:把网页中汉字的ascII码转成汉字,同时也可以反转。如把 %2F 可以转成 / -The page ascii code of Chinese characters into Chinese characters, but can also reverse. If the 2F can be transformed to /<topmonkey> 在 2025-03-13 上传 | 大小:338kb | 下载:0