基于Clark—Wilson的属性证书授权模型.PDFVIP

维普资讯 CN43—1258／TP 计算机工程与科学 2007年第 29卷第3期 ISSN 1007—13OX COMPU—IER ENGINEERING SCIENCE Vo1．29．No．3。2007 文章编号：1007—130X(2007)003—0023—04 基于 Clark—Wilson的属性证书授权模型 AnAuthorityModelBasedonthe Clark——W ilsonAttributeCertificate 孟 洋，徐向阳，黄 海 MENG Yang，XU Xiang-yang，HUANG Hal (湖南大学计算机与通信学院，湖南 长沙410082) (SchoolofComputerandCommunications，HunanUniversity，Changsha410082，China) 摘 要：本文采用Clark-Wilson完整型模型，使用属性证书作为权限传递的载体，结合授权管理基础设施 (PMI)实现 基于角色的授权模型，并提 出一种形式化描述架构，描述权限、证书和相关的授权；基于语义的演算过程对给定的属性证书 集和撤销证书集可以验证某种权限是否有效；采用Alloy形式化语言来定义模型，并且给 出描述扩展 Clark-Wilson的方 法 。 Abstract：TheClark-Wilson-basedintegritymodelisintroduced，andtheprivilegemanagementinfrastructureisstudied， andarole-basedauthorizationmode1isimplementedwithattributecertificates，andthenaformaldescriptionframeworkis putforwardtOdescribeprivilege，certificatesandinterrelatedauthorization．Thesemantics-basedcalculationcanverifyprivi— legebysomeappointedattributecertificatesetsandrevocationcertificatesets．Finally，themodelisdefinedwiththeAlloy formallanguage，andamethodofexpandingtheClark-W ilsonmodelisalsopresented． 关键词 ：证书；授权模型；Clark-Wilson Keywolds：ceitificate；authorizationmodel；Clark-Wilson 中图分类号：TP309 文献标识码 ：A 公开密钥基础设施 (PublicKeyInfrastructure)是以公 1 引言 开密钥密码学为理论技术基础的一整套网络信息安全技术 设施与服务 ，其内容包括数字证书、不对称密钥密码技术 、 电子商务的安全需求不同于军事安全需求的重点主要 认证中心、证书和密钥的管理、安全代理软件 、不可否认性 在于数据完整性上。数据安全是计算机网络时代的基本安 惯务、时间戳服务、相关信息标准、操作规范等。认证中心 全要求，最基础的安全构件是CIA：C是机密性 (Confidenti— (CertificationAuthority)是PKI的核心。授