周径野
【姓名】 周径野
【职称】 教授;
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 串空间模型,状态空间剪枝,模型检测,形式化分析,安全协议,自动验证,状态空间,Strand,状态搜索,逻辑推证,密码协议,定理证明,再加密,确定目标,串空间,目标规则,IEEE,弱一致性,协议,验证工...
【工作单位】 湘潭大学
【曾工作单位】 湘潭大学;
【所在地域】 湖南湘潭
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 4 99
中国期刊全文数据库    共找到1篇
[1]刘学锋,石昊苏,薛锐,周径野.安全协议自动验证工具的状态空间剪枝[J]计算机应用.2004,(08)
更多