10.3969/j.issn.1000-3428.2001.07.009
基于规则的安全策略定义语言
基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略.还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题.
安全策略、逻辑程序、稳定模型
27
TP309(计算技术、计算机技术)
国家自然科学基金699730332;上海市科技发展基金995115014
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
25-27