张玉清
【姓名】 张玉清
【职称】 讲师;
【研究领域】 电信技术;互联网技术;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 模型检测,密码协议,DSS,形式方法,BAN逻辑,数字签名,软件开发,完善保密,BAN(Burrows,AbadiandNeedham)类逻辑,Schro,BAN类逻辑,优先提取,PKI,签名方案,计...
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/11 11 9 4 262 1863
中国期刊全文数据库    共找到11篇
[1]胡予濮,张玉清.新一类广义自缩序列的最小周期[J]通信学报.2003,(06)
[2]张玉清,吴建平,李星,肖国镇.DSS类数字签名方案的软件开发[J]计算机工程.2000,(S1)
[3]张玉清,王磊,肖国镇,吴建平.Needham-Schroeder公钥协议的模型检测分析[J]软件学报.2000,(10)
[4]张玉清;吴建平;李星;.模型检测技术和密码协议分析[J]计算机科学.2001,(08)
[5]张玉清,吴建平,李星.BAN类逻辑的由来与发展[J]清华大学学报(自然科学版).2002,(01)
[6]陈建奇,吴子文,张玉清,李学农.基于PKI的校园网计费认证系统的研究与设计[J]计算机系统应用.2002,(06)
[7]胡予濮,杨波,张玉清.完善保密方案中的优先退化协议[J]电子学报.2002,(04)
[8]胡予濮,杨波,张玉清.均衡弹性函数的结构与弹性阶[J]电子学报.2002,(07)
[9]李晓峰,张玉清,李星.Linux 2.4内核防火墙底层结构分析[J]计算机工程与应用.2002,(14)
[10]李晓峰,张玉清,李星.IPv6防火墙ip6tables过滤规则配置的图形界面设计[J]计算机工程与应用.2002,(23)
更多