您的位置： 专家智库 > >

江怡顺

作品数：1 被引量：0H指数：0
供职机构：滁州学院计算机与信息工程学院更多>>
发文基金：安徽省高校省级自然科学研究项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义
  • 1篇PETRI网

机构

  • 1篇滁州学院
  • 1篇华东理工大学

作者

  • 1篇王精明
  • 1篇江怡顺

传媒

  • 1篇滁州学院学报

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Petri网的非演绎安全模型的分析与验证
2012年
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。
王精明江怡顺
关键词：PETRI网
全选 清除 导出
共1页<1>
聚类工具0