基于CSP的TESAC形式化建模与验证

发布时间：2025-01-18 13:04

　　云计算(Cloud Computing)是IT行业中新兴的计算范例,它以实现将“网络作为高性能计算机”为目的,以网络相连接的方式,对庞大的计算资源进行统一管理和调度。诸多问题在云计算的广泛应用中被暴露,引发了人们对云中数据安全管理的担忧,从而促使云计算领域的研究人员提出相应的解决方案。访问控制和数据安全是云计算中的两个关键问题,为了保证数据存取和传输的安全性,多种云计算访问控制模型被提出。高时效安全访问控制(Time Efficient Secure Access Control,TESAC)模型是一种新的基于用户资料的云计算访问控制方案,它与云计算中其他现有的模型相比,具有更好的特性,这使得TESAC吸引了行业越来越多的关注。因此,对于TESAC可靠性的研究具有很重要的意义。TESAC模型包含用户、数据拥有者和云服务器三个实体,用户需要按照算法流程从云服务器获取数据。为了保证消息的安全性,TESAC采用非对称加密的方式对消息包进行加密处理。本文将通信顺序进程(Communicating Sequential Process,CSP)方法应用到TESAC中,主要关注其访问控制系统,并对访...

【文章页数】：81 页

【学位级别】：硕士

【部分图文】：

图２．１：云计算数据存取访问模型??

第二章技术背景和基础理论方法?华东师范大学硕士学位论文??会根据采用的云计算访问控制模型对用户进行一系列访问控制，需要用户从数据??拥有者处得到相关密钥和证书。??／?Ａ??／?云服务提供商?＼??—??密钥与证书信息??数据拥有者?＇?用户??图２．１：云计算数据存取访问模型?....

图２．２：?ＴＥＳＡＣ系统流程??

学硕士学位论文?第二章技术背景和基础理论方法??Ｕｓｅｒ?Ｓｅｒｖｅｒ?ＤａｔａＯｗｎｅｒ??１?．ｒｅｑ＿ｄａｔａ??２．ＥＰＵｕｓｒ｛ＥＰＲｓｐ｛ＰＵ０ＷＮ））??３?．Ｅ?ｐｕ〇?ｗＮ（ＥｐＲｕｓＲ（ｒ￡ｑ＿ｋｅｙ＿ｃｅｒｔｉ））??４．Ｖａｌｉｄａｔｅ?ｔｈｅ?ｕｓｅｒ?....

图３．１：含有入侵者的ＴＥＳＡＣ访问控制模型实体间的通信??

第三章ＴＥＳＡＣ建模?华东师范大学硕士学位论文??人到与仍以、和Ｓｅｗｅｒ．，三个实体进程的通筒中来，得到如＇图３．１所??展示的整体通信模型。??在Ｍ?３．１所展示的整体逋儐模型．中．，进程ｆ／挪、ＤｆｌｆｆｌＯ＿ｅｒ和Ｓｅ？？贈？分别??通过通道Ｇｅｆｆ／、ＧｅｆＤ和Ｇｅ？来....

本文编号：4028650