| 基于行为逻辑的时序使用控制模型 |
| |
| 引用本文： | 徐长征,王清贤.基于行为逻辑的时序使用控制模型[J].计算机应用,2009,29(10). |
| |
| 作者姓名： | 徐长征 王清贤 |
| |
| 作者单位： | 信息工程大学,信息工程学院,郑州,450002 |
| |
| 基金项目： | 国家863计划项目，河南省基础与前沿技术研究计划 |
| |
| 摘 要： | 着眼于单主体访问操作中的原子行为和时序性质,采用时序模态逻辑,提出一种基于行为的时序使用控制模型.该逻辑框架包含了与授权相关的按时间节点预定义的行为、由主客体属性和系统所表达的状态序列及状态谓词.在给出了一种策略语言后,对其语法和语义进行了形式定义,并根据使用控制(UCON)模型族的行为特性给出了控制策略.该逻辑模型不仅可以形式化描述使用控制基本原理,而且有助于准确并自动化地判定策略的可满足性,具有良好的灵活性和表达能力.
|
| 关 键 词： | 使用控制 行为 状态序列 时序授权 |
Study on temporal usage control model based on action logic |
| |
| XU Chang-zheng,WANG Qing-xian.Study on temporal usage control model based on action logic[J].journal of Computer Applications,2009,29(10). |
| |
| Authors: | XU Chang-zheng WANG Qing-xian |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
