基于Petri网的信息流安全属性的分析与验证

著录项

• 来源
  《计算机应用研究》 |2010年第12期|4638-4642|共5页
• 作者

  陈松; 周从华; 鞠时光; 王基;

  展开▼
• 作者单位

  江苏大学;

  计算机科学与通信工程学院;

  江苏;

  镇江;

  212013;

  江苏大学;

  计算机科学与通信工程学院;

  江苏;

  镇江;

  212013;

  江苏大学;

  计算机科学与通信工程学院;

  江苏;

  镇江;

  212013;

  镇江市地方税务局;

  江苏;

  镇江;

  212003;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 安全保密;
• 关键词

  Petri网; 无干扰属性; 广义无干扰属性; 广义非推断属性; 可分离属性;