张广胜

作品数：5被引量：14H指数：2
导出分析报告
供职机构：山东科技大学信息科学与工程学院更多>>
发文主题：BAN逻辑密码协议形式化分析密码协议分析PETRI网更多>>
发文领域：自动化与计算机技术理学电子电信更多>>
发文期刊：《山东科技大学学报（自然科学版）》《计算机工程与应用》《系统仿真学报》《计算机科学》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网并运算的性质研究被引量：2
《山东科技大学学报（自然科学版）》2004年第1期47-50,共4页贾广余 吴哲辉 张广胜 
进一步研究了Petri网的并运算,讨论了这种运算保持网的动态及结构性质的条件。
关键词：PETRI网 并运算 关联矩阵 弱公平关系 
基于同步时间Petri网的细粒度多媒体同步模型研究被引量：2
《计算机科学》2004年第2期78-81,108,共5页张广胜 吴哲辉 翟正利 贾广余 
国家自然科学基金(编号:60173053)
多媒体同步是分布式多媒体信息系统的关键问题。在分析和比较几种已有的典型的多媒体同步模型的基础上,本文提出了一种新的模型:同步时间Petri网(简记为STPN)。STPN不仅能完整、准确地对媒体流内和媒体流间的时间层次行为进行形式化描述...
关键词：多媒体通信 同步模型 同步时间Petri网 媒体流 音频流 
基于时延Petri网的密码协议分析及性能评估被引量：1
《计算机工程与应用》2003年第30期158-161,共4页张广胜 
国家自然科学基金资助课题(编号:60173053)
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态...
关键词：密码协议 形式化分析 时延PETRI网 BAN逻辑 认证协议 
基于时间Petri网的密码协议分析被引量：6
《系统仿真学报》2003年第z1期11-16,共6页张广胜 吴哲辉 逄玉叶 
国家自然科学基金资助项目(60173053)
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入。在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri...
关键词：密码协议 形式化分析 时间PETRI网 BAN逻辑 认证协议 
计算一类递归方程的增广Petri网模型被引量：3
《系统仿真学报》2003年第z1期40-42,共3页崔焕庆 吴哲辉 张广胜 
国家自然科学基金(60173053)
递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的。斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析。
关键词：增广PETRI网 递归方程 变迁发生序列 矩阵 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部