| 基于规则的安全策略定义语言 |
| |
| 引用本文： | 施军,刘琼波,尤晋元.基于规则的安全策略定义语言[J].计算机工程,2001,27(7):25-27. |
| |
| 作者姓名： | 施军 刘琼波 尤晋元 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系, |
| |
| 基金项目： | 国家自然科学基金项目(699730332)，上海科技发展基金项目(995115014) |
| |
| 摘 要： | 基于任务－角色访问控制机制，提出类似一阶谓词逻辑的安全策略定义语言，并且有一定的时序表达功能。用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略。还给出了基于扩展的稳定模型的语义描述，定义了安全策略正确性的条件以及验证方法，并进一步讨论实现安全策略的有关问题。
|
| 关 键 词： | 信息安全 安全策略定义语言 谓词逻辑 稳定模型 |
| 文章编号： | 1000-3428(2001)07-0025-03 |
| 修稿时间： | 2000年12月6日 |
A Rule-based Security Policy Specification Language |
| |
| SHI JunLIU QiongboYOU Jinyuan.A Rule-based Security Policy Specification Language[J].Computer Engineering,2001,27(7):25-27. |
| |
| Authors: | SHI JunLIU QiongboYOU Jinyuan |
| |
| Abstract: | This paper proposes a security policy specification language based on task-role access temporal control mechanism , whose style like first order predicate logic. The language alows user to specify different application specific security policy. We illustrate the semantic with extended stable mode. Policy correctness condition and validation algorithm are proposed, and some problems on policy enforcement are discussed. ;; |
| |
| Keywords: | Security policyLogic programStable model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
