张广胜
- 作品数：8 被引量：24H指数：3
- 供职机构：山东科技大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- Petri网并运算的性质研究被引量：2
- 2004年
- 进一步研究了Petri网的并运算,讨论了这种运算保持网的动态及结构性质的条件。
- 贾广余吴哲辉张广胜
- 关键词：PETRI网并运算关联矩阵
- 基于时延Petri网的密码协议分析和评估
- 密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,...
- 张广胜
- 关键词：密码协议形式化分析时延PETRI网BAN逻辑
- 文献传递
- 基于时间Petri网的密码协议分析被引量：10
- 2003年
- 形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入。在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议。该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估。作为实例,对Aziz-Diffie 无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案。
- 张广胜吴哲辉逄玉叶
- 关键词：密码协议形式化分析时间PETRI网BAN逻辑
- 基于时延Petri网的密码协议分析及性能评估被引量：4
- 2003年
- 形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估。作为实例,文章对MSR无线协议作了详细的形式分析和性能评估。最后,与其它形式化分析密码协议的方法作了比较。
- 张广胜
- 关键词：密码协议形式化分析时延PETRI网BAN逻辑
- 计算一类递归方程的增广Petri网模型被引量：4
- 2003年
- 递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的。斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析。
- 崔焕庆吴哲辉张广胜
- 关键词：增广PETRI网递归方程矩阵
- 计算一类递归方程的增广Petri网模型
- 递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.
- 崔焕庆吴哲辉张广胜
- 关键词：增广PETRI网递归方程
- 文献传递
- 基于时间Petri网的密码协议分析
- 形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Pet...
- 张广胜吴哲辉逄玉叶
- 关键词：密码协议时间PETRI网BAN逻辑
- 文献传递
- 基于同步时间Petri网的细粒度多媒体同步模型研究被引量：3
- 2004年
- 多媒体同步是分布式多媒体信息系统的关键问题。在分析和比较几种已有的典型的多媒体同步模型的基础上,本文提出了一种新的模型:同步时间Petri网(简记为STPN)。STPN不仅能完整、准确地对媒体流内和媒体流间的时间层次行为进行形式化描述,而且解决了时间流Petri网中存在的死托肯问题。特别地,通过引入抑止弧,STPN有效地克服了随机延迟、阻塞、丢包等因素的不良影响。尤其当丢失率较高时,STPN更能体现其优越性和鲁棒性。
- 张广胜吴哲辉翟正利贾广余
- 关键词：多媒体通信媒体流音频流
