桑田
【姓名】 桑田
【职称】
【研究领域】 互联网技术;电信技术;
【研究方向】
【发表文献关键词】 抽象,加密协议,串空间,Mur,推理逻辑,形式化验证,Z方法,形式化方法,攻击者,安全协议,状态搜索,发起者,验证模型,形式化,协议,网络协议,可达状态,生成算法,密钥,模型和算法,IEEE,不可达...
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 3 1 47 486
中国期刊全文数据库    共找到3篇
[1]周宏斌,黄连生,桑田.基于串空间的安全协议形式化验证模型及算法[J]计算机研究与发展.2003,(02)
[2]张磊,桑田,黄连生,王新兵.从Woo-Lam协议到网络协议的抽象验证[J]计算机研究与发展.2001,(08)
[3]桑田,黄连生,张磊.改进的加密协议形式化验证模型和算法[J]清华大学学报(自然科学版).2002,(01)
更多