张广胜
【姓名】 张广胜
【职称】
【研究领域】 电信技术;互联网技术;数学;
【研究方向】 Petri网理论与应用
【发表文献关键词】 密码协议,BAN逻辑,形式化分析,递归方程,时延Petri网,变迁发生序列,认证协议,时间Petri网,增广Petri网,Petri网,密码协议分析,增广,时延,攻击者,协议,可达图,Petri,网模...
【工作单位】 山东科技大学
【曾工作单位】 山东科技大学;
【所在地域】 山东泰安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 2 4 4 32 711
中国期刊全文数据库    共找到4篇
[1]张广胜.基于时延Petri网的密码协议分析及性能评估[J]计算机工程与应用.2003,(30)
[2]张广胜,吴哲辉,逄玉叶.基于时间Petri网的密码协议分析[J]系统仿真学报.2003,(S1)
[3]崔焕庆,吴哲辉,张广胜.计算一类递归方程的增广Petri网模型[J]系统仿真学报.2003,(S1)
[4]张广胜;吴哲辉;翟正利;贾广余;.基于同步时间Petri网的细粒度多媒体同步模型研究[J]计算机科学.2004,(02)
更多
中国优秀硕士学位论文全文数据库    共找到1篇
[1]张广胜.基于时延Petri网的密码协议分析和评估[D].山东科技大学.2003
更多