计算合理性

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

资源总数
500

计算合理性 热门资料

查看全部 500 份 →

基于Abadi-Rowgaway 的形式化加密的计算合理性定理，论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析，说明本文的定理对协议的可选择攻击具有较强的分析能力，论文

2023-11-19 4 计算合理性

    逻辑综合带来了数字设计行业的革命，有效地提高了生产率，减少了设计周期时间。在手动转换设计的年代，设计过程受到诸多限制，结更容易带来人为的错误。而一个小小的错误就导致整个模块需进行重新设计，设计转换工作占...

2013-10-25 74 计算合理性