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