算法安全
算法安全技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
算法安全 全部资料 500 份
一种安全协议分析算法研究
研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性,它基于扩展了的串空间模型,利用了消息间的因果关系,并且结合了定理证明和模型检测方法,能有效地分析安全协议
2024-04-13
8
the hash function FORK-256,256位的安全散列验证算法
the hash function FORK-256,256位的安全散列验证算法,SHA-256的替代者。
2017-03-01
166