...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Information Forensics and Security, IEEE Transactions on >A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification
【24h】

A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification

机译：云计算的跨租户访问控制（CTAC）模型：正式规范和验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Sharing of resources on the cloud can be achieved on a large scale, since it is cost effective and location independent. Despite the hype surrounding cloud computing, organizations are still reluctant to deploy their businesses in the cloud computing environment due to concerns in secure resource sharing. In this paper, we propose a cloud resource mediation service offered by cloud service providers, which plays the role of trusted third party among its different tenants. This paper formally specifies the resource sharing mechanism between two different tenants in the presence of our proposed cloud resource mediation service. The correctness of permission activation and delegation mechanism among different tenants using four distinct algorithms (activation, delegation, forward revocation, and backward revocation) is also demonstrated using formal verification. The performance analysis suggests that the sharing of resources can be performed securely and efficiently across different tenants of the cloud.
机译：由于它具有成本效益和位置独立性，因此可以大规模实现云上资源的共享。尽管围绕云计算进行了大肆宣传，但由于对安全资源共享的担忧，组织仍不愿在云计算环境中部署其业务。在本文中，我们提出了一种由云服务提供商提供的云资源中介服务，该服务在其不同租户之间扮演着受信任的第三方的角色。本文正式提出了我们提议的云资源中介服务存在下两个不同租户之间的资源共享机制。还使用形式验证来证明使用四种不同算法（激活，委托，正向撤销和向后撤销）的不同租户之间的权限激活和委托机制的正确性。性能分析表明，可以在云的不同租户之间安全有效地执行资源共享。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号