江怡顺

作品数：1被引量：0H指数：0
导出分析报告
供职机构：滁州学院计算机与信息工程学院更多>>
发文主题：语义PETRI网更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《滁州学院学报》更多>>
所获基金：安徽省高校省级自然科学研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的非演绎安全模型的分析与验证
《滁州学院学报》2012年第2期21-23,49,共4页王精明 江怡顺 
安徽省高校省级自然科学研究基金项目(KJ2011Z279);滁州学院重点自然科学基金项目(2010kj008Z)
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给...
关键词：迹语义 PETRI网 信息流安全模型 非演绎模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部