基于CSP的TESAC形式化建模與驗證
發(fā)布時間:2025-01-18 13:04
云計算(Cloud Computing)是IT行業(yè)中新興的計算范例,它以實現將“網絡作為高性能計算機”為目的,以網絡相連接的方式,對龐大的計算資源進行統(tǒng)一管理和調度。諸多問題在云計算的廣泛應用中被暴露,引發(fā)了人們對云中數據安全管理的擔憂,從而促使云計算領域的研究人員提出相應的解決方案。訪問控制和數據安全是云計算中的兩個關鍵問題,為了保證數據存取和傳輸的安全性,多種云計算訪問控制模型被提出。高時效安全訪問控制(Time Efficient Secure Access Control,TESAC)模型是一種新的基于用戶資料的云計算訪問控制方案,它與云計算中其他現有的模型相比,具有更好的特性,這使得TESAC吸引了行業(yè)越來越多的關注。因此,對于TESAC可靠性的研究具有很重要的意義。TESAC模型包含用戶、數據擁有者和云服務器三個實體,用戶需要按照算法流程從云服務器獲取數據。為了保證消息的安全性,TESAC采用非對稱加密的方式對消息包進行加密處理。本文將通信順序進程(Communicating Sequential Process,CSP)方法應用到TESAC中,主要關注其訪問控制系統(tǒng),并對訪...
【文章頁數】:81 頁
【學位級別】:碩士
【部分圖文】:
本文編號:4028650
【文章頁數】:81 頁
【學位級別】:碩士
【部分圖文】:
圖2.1:云計算數據存取訪問模型??
第二章技術背景和基礎理論方法?華東師范大學碩士學位論文??會根據采用的云計算訪問控制模型對用戶進行一系列訪問控制,需要用戶從數據??擁有者處得到相關密鑰和證書。??/?A??/?云服務提供商?\??—??密鑰與證書信息??數據擁有者?'?用戶??圖2.1:云計算數據存取訪問模型?....
圖2.2:?TESAC系統(tǒng)流程??
學碩士學位論文?第二章技術背景和基礎理論方法??User?Server?DataOwner??1?.req_data??2.EPUusr{EPRsp{PU0WN))??3?.E?pu〇?wN(EpRusR(r£q_key_certi))??4.Validate?the?user?....
圖3.1:含有入侵者的TESAC訪問控制模型實體間的通信??
第三章TESAC建模?華東師范大學碩士學位論文??人到與仍以、和Sewer.,三個實體進程的通筒中來,得到如'圖3.1所??展示的整體通信模型。??在M?3.1所展示的整體逋儐模型.中.,進程f/挪、DflfflO_er和Se??贈?分別??通過通道Geff/、GefD和Ge?來....
本文編號:4028650
本文鏈接:http://www.lk138.cn/shoufeilunwen/xixikjs/4028650.html
上一篇:基于泊松簇過程的異構蜂窩網絡設計與分析
下一篇:沒有了
下一篇:沒有了
最近更新
教材專著