胡成军
【姓名】 胡成军
【职称】 副教授;
【研究领域】 电信技术;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 密码协议,秘密性,形式化规范,PVS,定理证明,session,英文,Authentication,攻击者,security,Security,TRUE,have,Inverse,Schro,CCIT...
【工作单位】 中国科学院研究生院
【曾工作单位】 中国科学院研究生院;
【所在地域】 北京青岛
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 2 2 12 193
中国期刊全文数据库    共找到2篇
[1]胡成军,郑援,沈昌祥.密码协议的秘密性证明[J]计算机学报.2003,(03)
[2]胡成军,吕述望,郑援,沈昌祥.基于PVS的密码协议形式化规范(英文)[J]中国科学院研究生院学报.2002,(03)
更多