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

合集下载

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ＭａｒｋｕｐＬａｎｇｕａｇｅ（ＸＡＣＭＬ）ｂａｓｅｄｖｅｒｉｉｆａｂｌｅｃｌｏｕｄａｃｃｅｓｓｃｏｎｔｒｏｌｓｃｈｅｍｅａｃｃｏｒｄｉｎｇｔｏｔｈｅＲｅｆｅｒｅｅｄＧａｍｅｓ（ＲＧ）ｍｏｄｅ１．Ｓｐｅｃｉｉｆｃａｌｌｙ，ｉｔ
第３９卷第１０期
、，０ｌ＿３９ＮＯ．１０
计
算
机
工
程
２０１３年１０月
Ｏｃｔｏｂｅｒ２０ｌ３
ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ
・云计算专题・
文章编号：ｌｏ０ｏ＿＿３４２８（２０ｌ３）ｌ０＿＿－００４２ — ＿＿０７文献标识码：Ａ
ｉｒｆｓｔｌｙｄｅｓｉｇｎｓａｖｅｒｉｉａｆｂｌｅｃｌｏｕｄａｃｃｅｓｓｃｏｎｔｒｏｌｍｏｄｅｌｂａｓｅｄｏｎｔｈｅＸＡＣＭＬａｃｃｅｓｓｃｏｎｔｒｏｌｍｏｄｅ１．Ｆｕｒｔｈｅｒｍｏｒｅ，ｉｔｄｅｓｉｇｎｓｖｅｒｉｉａｆｂｌｅｃｌｏｕｄａｃｃｅｓｓｃｏｎｔｒｏｌｄｅｃｉｓｉｏｎａｎｄｖｅｒｉｉｃｆａｔｉｏｎｓｃｈｅｍｅｓｏｒｆｐｏｌｉｃｙａｎｄｐｏｌｉｃｙ — ｓｅｔｂａｓｅｄｏｎｄｅｃｉｓｉｏｎａｎｄｐｏｌｉｃｙｃｏｍｂｉｎａｔｉｏｎａｌｇｏｒｉｔｈｍｉｎＸＡＣＭＬ，ｉｎｗｈｉｃｈａｈｉ【ｇｈｅｉｃｆｉｅｎｔａｃｃｅｓｓｃｏｎｔｒｏｌｗｉｔｈｃｏｍｐｌｅｘａｃｃｅｓｓｃｏｎｔｒｏｌｐｏｌｉｃｙｉｓｒｅａｌｉｚａｂｌｅｂｙｔｈｅｎｏｄｅｉｎｓｅｎｓｏｒｎｅｔｗｏｒｋ．Ｃｏｍｐａｒｅｄｗｉｔｈｔｈｅｔｒａｄｉｔｉｏｎａｌａｃｃｅｓｓｃｏｎｔｒｏｌｓｃｈｅｍｅ，ｔｈｅｅｘｐｅｒｉｍｅｎｔｏｎＡｍａｚｏｎＥＣ２ｓｈｏｗｓｔｈａｔｔｈｅｖｅｒｉｉａｆｂｌｅＣｌｏｕｄａｃｃｅｓｓｃｏｎｔｒｏｌｗａｓｉｍｐｌｅｍｅｎｔｅｄｗｉｔｈｍｕｃｈｈｉｇｈｅｒｅｉｃｆｉｅｎｃｙｉｎｔｈｉｓｓｃｈｅｍｅ．
ＸＡＣＭＬ．ｂａｓｅｄＶ．ｅｒｉｉａｆｂｌｅＣｌｏｕｄＡｃｃｅｓｓＣｏｎｔｒｏｌＳｃｈｅｍｅ
ＳＩＸｉａｏ．１，ｗＡＮＧＰｅｎｇ．ｐｉａｎ，ＺＨＡＮＧＬｉ．ＷＵ
（１．ＩｎｓｔｉｔｕｔｅｏｆＳｏｆｔｗａｒｅ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１００１９０，Ｃｈｉｎａ；２．ＧｒａｄｕａｔｅＵｎｉｖｅｒｓｉｔｙｏｆＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１００１９０，Ｃｈｉｎａ）［Ａｂｓｔｒａｃｔ］ＴｈｅｃｏｍｐｕｔｉｎｇｒｅｓｏｕｒｃｅｏｆｔｈｅｓｅｎｓｏｒｎｏｄｅｉｎｔｈｅＩｎｔｅｍｅｔｏｆＴｈｉｎｇｓｉｓｖｅｒｙｌｉｍｉｔｅｄａｎｄｔｈｅｒｅａｒｅｓｅｃｕｒｉｔｙｒｉｓｋｓｉｎｔｈｅｃｌｏｕｄ．Ｔｏ
中圈分类号ｔＴＰ３９３．０８
基于ＸＡＣＭＬ的可验证云访问控制方案
司晓琳百度文库，王鹏翩，张立武
（１．中国科学院软件研究所，北京１００１９０；２．中国科学院研究生院，北京１００１９０）
ｉｍｐｌｅｍｅｎｔａｖｅｒｉｉａｆｂｌｅｃｌｏｕｄａｃｃｅｓｓｃｏｎｔｒｏｌｓｅｒｖｉｃｅｆｏｒｔｈｅｎｏｄｅｉｎｔｈｅｓｅｎｓｏｒｎｅｔｗｏｒｋ，ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓａｎＥｘｔｅｎｓｉｂｌｅＡｃｃｅｓｓＣｏｎｔｒｏｌ
摘
要：针对当前传感器节点的计算能力有限以及云访问控制服务的信任问题，在传感器网络双云场景中，借鉴仲裁游戏模型的
思想，提出可验证的云访问控制模型。利用可扩展访问控制标示语言中决策值及策略组合算法的特点，设计针对单条策略及策略集的可验证云访问控制方案，使传感器节点能够以较小的计算代价和传输代价实现复杂的访问控制决策。在ＡｍａｚｏｎＥＣ２云平台上的实验结果证明，与传统的本地访问控制方案相比，该方案能够以较高的效率保证云访问控制结果的可靠性。关健词：访问控制；云访问控制；可验证计算；仲裁游戏模型；可扩展访问控制标示语言