基于规则的安全策略定义语言

• 作者: 刘琼波 尤晋元 施军
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全策略 逻辑程序 稳定模型
• 年，卷（期）: 2001,（7）
• 所属期刊栏目: 国家级基金项目论文
• 页码范围: 25-27
• 页数: 3页
• 分类号: TP309
• 字数: 4439字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2001.07.009

摘要

基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略.还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尤晋元	上海交通大学计算机科学与工程系	99	1122	18.0	30.0
2	刘琼波	上海交通大学计算机科学与工程系	6	188	5.0	6.0
3	施军	上海交通大学计算机科学与工程系	9	237	6.0	9.0