带有委托功能的UCONpreA模型安全性分析及DBRM0表达

• 作者: 余一丰 叶春晓
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 使用控制 安全性分析 有限状态机 委托 基于角色的委托模型
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 信息安全
• 页码范围: 3426-3429
• 页数: 4页
• 分类号: TP301
• 字数: 5266字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2012.03426

摘要

针对使用控制模型(UCON)中加入委托功能后安全分析愈加复杂的问题,首先形式化地表达了其子模型——使用前授权(UCONpreA)的委托过程,通过分析证明了一般带有委托功能的UCONpreA模型的安全性是不可确定的,然后通过构造有限状态机的方法证明了一个受约束的带有委托功能的UCONpreA模型的安全性是可确定的,最后利用该约束模型成功地表达了传统的基于角色的委托模型(RBDM0);并进一步增强了UCON的表达能力,能有效保证其安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶春晓	重庆大学计算机学院	50	423	11.0	19.0
2	余一丰	重庆大学计算机学院	3	6	1.0	2.0