计算可靠性相关论文
针对目前越来越复杂的安全协议,在计算可靠的安全协议符号分析方法的基础上,提出了一种计算可靠且支持双线性对、对称加密以及密钥......
随着应用软件的规模逐渐由几百行代码扩展到数万行,软件可靠性开始成为一个重要的研究课题。低可靠性经常会导致重要的、灾难性的......
本文引入公钥加密方案的新安全定义N-PAT,最后针对协议的迹性质与秘密性证明了扩展后方法的可靠性,即如公钥加密方案满足N-PAT,则......
针对目前越来越复杂的安全协议,在建立计算可靠的安全协议符号分析方法的深入研究,提出了一种解决该 问题的新方法,即踪迹属性的计......
密码协议的描述和分析有两类截然不同的方法：一类以形式化方法为主要手段，另一类以计算复杂性理论为基础．Abadi 和Rogaway首次试图将......
研究在密码协议仅使用数字签名原语时，主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法，分别引入符号模型......
MW方法仅考虑使用公钥加密原语，不包含{{mk}k类型消息的双方协议。针对该问题，使用公钥加密和对称加密，建立扩展标记符号模型与扩展计......
随着因特网的普及,信息安全变得日益重要,如何在开放的互联网络上提供信息的保密性、完整性、可用性以及不可否认性服务成为研究的......
通过对多维解析函数的多次重复计算并对计算结果进行统计分析来讨论遗传算法的可靠性和可信度,结果表明:遗传算法的计算结果具有一......
密码协议形式化分析方法分为符号方法与计算方法两类。符号方法假设密码算法是完美的,但没有论证该假设的正确性。计算方法考虑了......
