软件学报

作者：罗杨,沈晴霓,吴中海

单位：罗杨，北京大学 软件与微电子学院, 北京 10260011,沈晴霓，北京大学 软件与微电子学院, 北京 10260002,吴中海，北京大学 软件与微电子学院, 北京 102600;软件工程国家工程研究中心(北京大学), 北京 10087103

关键词：访问控制模型;策略语言;策略转换;解释器;抽象语法树

基金：国家自然科学基金（61232005，61672062）；国家高技术研究发展计划（863）（2015AA016009）

为了保护云资源的安全，防止数据泄露和非授权访问，必须对云平台的资源访问实施访问控制.然而，目前主流云平台通常采用自己的安全策略语言和访问控制机制，从而造成两个问题：（1）云用户若要使用多个云平台，则需要学习不同的策略语言，分别编写安全策略；（2）云服务提供商需要自行设计符合自己平台的安全策略语言及访问控制机制，开发成本较高.对此，提出一种基于元模型的访问控制策略描述语言PML及其实施机制PML-EM.PML支持表达BLP、RBAC、ABAC等访问控制模型.PML-EM实现了3个性质：策略语言无关性、访问控制模型无关性和程序设计语言无关性，从而降低了用户编写策略的成本与云服务提供商开发访问控制机制的成本.在OpenStack云平台上实现了PML-EM机制.实验结果表明，PML策略支持从其他策略进行自动转换，在表达云中多租户场景时具有优势.性能方面，与OpenStack原有策略相比，PML策略的评估开销为4.8%.PML-EM机制的侵入性较小，与云平台原有代码相比增加约0.42%.

来源：2020年第2期

《软件学报》期刊编辑部

查看软件学报杂志2020年第2期