肖德琴
【姓名】 肖德琴
【职称】 讲师;
【研究领域】 电信技术;
【研究方向】
【发表文献关键词】 加密协议,时序逻辑,形式化方法,Kailar逻辑,形式化,Spi演算,BAN类逻辑,可追究性,描述和验证,密码协议,PROLOG,信息集,IEEE,无二义性,Kail,发送者,安全协议,密码学,协议,...
【工作单位】 中国科学院研究生院
【曾工作单位】 中国科学院研究生院;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 1 20 231
中国期刊全文数据库    共找到1篇
[1]肖德琴,周权,张焕国,刘才兴.基于时序逻辑的加密协议分析[J]计算机学报.2002,(10)
更多