基于Clark-Wilson的属性证书授权模型

• 作者: 孟洋 徐向阳 黄海
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 证书 授权模型 Clark-Wilson
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 23-26
• 页数: 4页
• 分类号: TP309
• 字数: 3828字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.03.008

摘要

本文采用Clark-Wilson完整型模型,使用属性证书作为权限传递的载体,结合授权管理基础设施(PMI)实现基于角色的授权模型,并提出一种形式化描述架构,描述权限、证书和相关的授权;基于语义的演算过程对给定的属性证书集和撤销证书集可以验证某种权限是否有效;采用Alloy形式化语言来定义模型,并且给出描述扩展Clark-Wilson的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐向阳	湖南大学计算机与通信学院	37	306	10.0	16.0
2	孟洋	湖南大学计算机与通信学院	3	16	2.0	3.0
3	黄海	湖南大学计算机与通信学院	7	42	3.0	6.0