王可心
【姓名】 王可心
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;
【研究方向】
【发表文献关键词】 Kailar逻辑,安全协议分析,初始状态假设,剪枝定理,状态空间简化技术,电子商务协议,协议分析,状态空间,简化技术,Strand空间,节点,不可达状态,发送消息,可追究性,冗余状态,状态转换,初始状...
【工作单位】 山东大学
【曾工作单位】 山东大学;
【所在地域】 山东济南
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 1 2 2 101
中国期刊全文数据库    共找到2篇
[1]王可心,韩芳溪.Kailar逻辑推理中初始状态假设[J]大连理工大学学报.2003,(S1)
[2]王可心,韩芳溪.安全协议分析中的状态空间简化技术[J]计算机应用.2004,(04)
更多