周宏斌
【姓名】 周宏斌
【职称】
【研究领域】 互联网技术;
【研究方向】
【发表文献关键词】 角色冒充,串空间,形式化验证,安全协议,攻击者,数字签名,签名协议,验证模型,形式化,对数字,发起者,英文,生成算法,密钥,IEEE,不可达状态,一致性条件,目标集,可达状态,协议,协议正确性,路径,...
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 1 42 391
中国期刊全文数据库    共找到2篇
[1]周宏斌,黄连生,桑田.基于串空间的安全协议形式化验证模型及算法[J]计算机研究与发展.2003,(02)
[2]王新兵,马征,黄连生,周宏斌.基于角色冒充对数字签名协议的攻击(英文)[J]软件学报.2001,(12)
更多