| 基于Petri网的非演绎安全模型的分析与验证 |
| |
| 引用本文： | 王精明,江怡顺. 基于Petri网的非演绎安全模型的分析与验证[J]. 滁州学院学报, 2012, 14(2): 21-23,49 |
| |
| 作者姓名： | 王精明 江怡顺 |
| |
| 作者单位： | 1. 滁州学院计算机与信息工程学院,安徽滁州239012／华东理工大学计算机科学与工程系,上海200237
2. 滁州学院计算机与信息工程学院,安徽滁州,239012 |
| |
| 基金项目： | 安徽省高校省级自然科学研究基金项目，滁州学院重点自然科学基金项目 |
| |
| 摘 要： | 就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。
|
| 关 键 词： | 迹语义 Petri网 信息流安全模型 非演绎模型 |
Petri Net-based Analysis and Verification of Non-deducibility Security Model |
| |
| Wang Jingming,Jiang Yishun. Petri Net-based Analysis and Verification of Non-deducibility Security Model[J]. Journal of Chuzhou University, 2012, 14(2): 21-23,49 |
| |
| Authors: | Wang Jingming Jiang Yishun |
| |
| Affiliation: | Wang Jingming,Jiang Yishun |
| |
| Abstract: | In characterizing security,non-deducibility security model captures more essence than access control security models.This paper describes and formally defines non-deducibility model based on trace semantics and Petri net.Furthermore,this paper provides the verification algorithm for non-deducibility security model based on Petri net and offers the verification tools with several examples. |
| |
| Keywords: | Trace Semantics Petri net Information Flow Security Model Non-- deducibility Model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
