位置:成果数据库 > 会议 > 会议详情页
Formal verification of HMQV using ASM-SPV
  • 所属机构名称:中国科学院信息工程研究所
  • 会议名称:6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIH
  • 成果类型:会议
  • 相关项目:视觉密码方案的构造
同会议论文项目
期刊论文 20 会议论文 13 获奖 2 专利 2
同项目会议论文