计算机应用研究2010，Vol.27Issue(12)：4638-4642,5.DOI:10.3969/j.issn.1001-3695.2010.12.070
基于Petri网的信息流安全属性的分析与验证
Petri net-based analysis and verification of information flow security properties
摘要
关键词
Petri网/无干扰属性/广义无干扰属性/广义非推断属性/可分离属性分类
信息技术与安全科学引用本文复制引用
陈松,周从华,鞠时光,王基..基于Petri网的信息流安全属性的分析与验证[J].计算机应用研究,2010,27(12):4638-4642,5.基金项目
国家自然科学基金资助项目(60773049) （60773049）
江苏大学高级人才科研启动基金资助项目(07JDG014) （07JDG014）
江苏省高校自然科学基金资助项目(08KJD520015) （08KJD520015）
国家教育部博士点基金资助项目(20093227110005) （20093227110005）
