位置：成果数据库 > 期刊 > 期刊详情页
时间相关密码协议逻辑及其形式化语义.
  • 期刊名称：软件学报, 2011,22(3): 534-557. (EI)
  • 时间：0
  • 相关项目：密码可靠的安全协议形式化分析研究
同期刊论文项目
密码可靠的安全协议形式化分析研究
期刊论文 10 会议论文 12
同项目期刊论文
IK-CPA security implies IE-CCA security in the Random Oracle Model.
一种基于恶意主体的通用公平交换协议.
安全协议:信息安全保障的灵魂—安全协议分析研究现状与发展趋势.
Multifactor Identity Verification Using Aggregated Proof of Knowledge.
时间相关密码协议逻辑及其形式化语义