基于XACML的可验证云访问控制方案

doi:10.3969/j.issn.1000-3428.2013.10.009

计算机工程

所属专题：云计算专题；

基于XACML的可验证云访问控制方案

司晓琳^1,2，王鹏翩^1,2，张立武¹

(1. 中国科学院软件研究所，北京 100190；2. 中国科学院研究生院，北京 100190)

收稿日期:2013-01-28 出版日期:2013-10-15 发布日期:2013-10-14
作者简介:司晓琳(1987－)，女，硕士研究生，主研方向：云计算，网络与系统安全；王鹏翩，博士研究生；张立武，高级工程师
基金资助:
国家自然科学基金资助重点项目“可信计算环境测评理论和技术研究”(91118006)；信息网络安全公安部重点实验室(公安部第三研究所)开放课题基金资助项目“数字身份服务平台的鉴别与属性证明协议研究”(C11604)

XACML-based Verifiable Cloud Access Control Scheme

SI Xiao-lin ^1,2, WANG Peng-pian ^1,2, ZHANG Li-wu ¹

(1. Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; 2. Graduate University of Chinese Academy of Sciences, Beijing 100190, China)

Received:2013-01-28 Online:2013-10-15 Published:2013-10-14

摘要/Abstract

摘要： 针对当前传感器节点的计算能力有限以及云访问控制服务的信任问题，在传感器网络双云场景中，借鉴仲裁游戏模型的思想，提出可验证的云访问控制模型。利用可扩展访问控制标示语言中决策值及策略组合算法的特点，设计针对单条策略及策略集的可验证云访问控制方案，使传感器节点能够以较小的计算代价和传输代价实现复杂的访问控制决策。在Amazon EC2云平台上的实验结果证明，与传统的本地访问控制方案相比，该方案能够以较高的效率保证云访问控制结果的可靠性。

关键词: 访问控制, 云访问控制, 可验证计算, 仲裁游戏模型, 可扩展访问控制标示语言

Abstract: The computing resource of the sensor node in the Internet of Things is very limited and there are security risks in the cloud. To implement a verifiable cloud access control service for the node in the sensor network, this paper proposes an Extensible Access Control Markup Language(XACML) based verifiable cloud access control scheme according to the Refereed Games(RG) model. Specifically, it firstly designs a verifiable cloud access control model based on the XACML access control model. Furthermore, it designs verifiable cloud access control decision and verification schemes for policy and policy-set based on decision and policy combination algorithm in XACML, in which a high efficient access control with complex access control policy is realizable by the node in sensor network. Compared with the traditional access control scheme, the experiment on Amazon EC2 shows that the verifiable Cloud access control was implemented with much higher efficiency in this scheme.

Key words: access control, cloud access control, verifiable computing, Refereed Games(RG) model, Extensible Access Control Markup Language(XACML)

中图分类号:

TP393.08

司晓琳，王鹏翩，张立武. 基于XACML的可验证云访问控制方案[J]. 计算机工程, doi: 10.3969/j.issn.1000-3428.2013.10.009.

SI Xiao-lin, WANG Peng-pian, ZHANG Li-wu. XACML-based Verifiable Cloud Access Control Scheme[J]. Computer Engineering, doi: 10.3969/j.issn.1000-3428.2013.10.009.

http://www.ecice06.com/CN/Y2013/V39/I10/42

参考文献

参考文献 [1] 裴庆祺, 沈玉龙, 马建峰, 等. 无线传感器网络安全技术综述[J]. 通讯学报, 2007, 28(8): 113-122. [2] 石高涛, 廖明宏. 一种大规模传感器网络节能数据发布协议[J]. 软件学报, 2006, 17(8): 1785-1795. [3] 冯登国, 张敏, 张妍. 云计算安全研究[J]. 软件学报, 2011, 22(1): 71-83. [4] Goldwasser S, Kalai Y T, Rothblum G N. Delegating Com- putation: Interactive Proofs for Muggles[C]//Proceedings of the 40th ACM Symposium on the Theory of Computing. New York, USA: ACM Press, 2008. [5] Gennaro R, Gentry C, Parno B. Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers Advances in Cryptology[C]//Proceedings of the 30th Annual Conference on Advances in Cryptology. Berlin, Germany: Springer-Verlag, 2010. [6] Chung K M, Kalai Y, Vadhan S. Improved Delegation of Computation Using Fully Homomorphic Encryption[C]// Proceedings of the 30th Annual Conference on Advances in Cryptology. Berlin, Germany: Springer-Verlag, 2010. (下转第56页) (上接第48页) [7] Parno B, Raykova M, Vaikuntanathan V. How to Delegate and Verify in Public: Verifiable Computation from Attribute-based Encryption[C]//Proceedings of the 9th IACR Theory of Cryptography Conference. Berlin, Germany: Springer-Verlag, 2012. [8] Goyal V, Pandey O, Sahai A, et al. Attribute-based Encryption for Fine-grained Access Control of Encrypted Data[C]// Proceedings of the 13th ACM Conference on Computer and Communications Security. Alexandria, USA: ACM Press, 2006. [9] Ostrovsky R, Sahai A, Waters B. Attribute-based Encryption with Non-monotonic Access Structures[C]//Proceedings of the 14th ACM Conference on Computer and Communications Security. Alexandria, USA: ACM Press, 2007: 195-203. [10] Canetti R, Riva B, Rothblum G N. Veri?able Computation with Two or More Clouds[C]//Proceedings of Workshop on Cryptography and Security in Clouds. Zurich, Switzerland: [s. n.], 2011. [11] Feige U, Kilian J. Making Games Short(Extended Abstract)[C]// Proceedings of the 29th Annual ACM Symposium on Theory of Computing. El Paso, USA: ACM Press, 1997. [12] OASIS Standard Organization. Extensible Access Control Markup Language(XACML)[EB/OL]. (2005-02-01). http:// docs.oasis-open.org/xacml/2.0/access_control-xacml-2.0-core-spec-os.pdf. 编辑任吉慧

[1]	黄保华, 郑慧颖, 屈锡, 陈宁江. 联盟链高效存储访问控制方案[J]. 计算机工程, 2023, 49(8): 37-45.
[2]	田秀霞, 杨明夷. 家庭物联网中基于智能合约的访问控制机制[J]. 计算机工程, 2023, 49(3): 18-28.
[3]	孙林昆, 蒋文保, 郭阳楠, 李春强. 基于密码累加器的无状态区块链性能优化[J]. 计算机工程, 2023, 49(2): 46-53.
[4]	刘晶, 朱炳旭, 梁佳杭, 任女尔, 季海鹏. 基于主侧链合作的区块链访问控制策略[J]. 计算机工程, 2022, 48(3): 10-16,22.
[5]	王静宇, 周雪娟. 一种支持属性撤销的密文策略属性基加密方案[J]. 计算机工程, 2021, 47(7): 95-100.
[6]	张本宏, 吴浩浩, 俞磊. 车载自组织网络中基于竞争的时分多址MAC协议[J]. 计算机工程, 2021, 47(5): 154-159.
[7]	张建国, 胡晓辉. 基于以太坊的改进物联网设备访问控制机制研究[J]. 计算机工程, 2021, 47(4): 32-39,47.
[8]	张江徽, 崔波, 李茹, 史锦山. 基于智能合约的物联网访问控制系统[J]. 计算机工程, 2021, 47(4): 21-31.
[9]	詹长健, 雷磊, 沈高青, 李志林. 适用于水声传感网络的多链路传输MAC协议[J]. 计算机工程, 2021, 47(2): 194-200.
[10]	韩舒艳, 努尔买买提·黑力力. 选择性隐藏树型访问结构的CP-ABE方案[J]. 计算机工程, 2020, 46(7): 150-158.
[11]	李民政, 资文彬, 王浩. LoRa无线网络MAC层TDMA时隙分配协议研究[J]. 计算机工程, 2019, 45(9): 95-99,118.
[12]	谭跃生,鲁黎明,王静宇. 基于安全三方计算的密文策略加密方案[J]. 计算机工程, 2019, 45(1): 115-120,128.
[13]	杨小东,安发英,杨苗苗,杨平,王彩芬. 支持多授权中心与属性变更的云访问控制方案[J]. 计算机工程, 2018, 44(8): 1-6.
[14]	谭跃生,郉晨烁,王静宇. 一种支持细粒度属性变更的云访问控制方案[J]. 计算机工程, 2018, 44(8): 7-13.
[15]	范运东,吴晓平. 基于策略隐藏属性加密的云存储访问控制方案[J]. 计算机工程, 2018, 44(7): 139-144,149.

选择文件类型/文献管理软件名称

选择包含的内容

基于XACML的可验证云访问控制方案

XACML-based Verifiable Cloud Access Control Scheme

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

基于XACML的可验证云访问控制方案

XACML-based Verifiable Cloud Access Control Scheme

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价