基于CSP的TESAC形式化建模與驗(yàn)證
【文章頁(yè)數(shù)】:81 頁(yè)
【學(xué)位級(jí)別】:碩士
【部分圖文】:
圖2.1:云計(jì)算數(shù)據(jù)存取訪問(wèn)模型??
第二章技術(shù)背景和基礎(chǔ)理論方法?華東師范大學(xué)碩士學(xué)位論文??會(huì)根據(jù)采用的云計(jì)算訪問(wèn)控制模型對(duì)用戶進(jìn)行一系列訪問(wèn)控制,需要用戶從數(shù)據(jù)??擁有者處得到相關(guān)密鑰和證書(shū)。??/?A??/?云服務(wù)提供商?\??—??密鑰與證書(shū)信息??數(shù)據(jù)擁有者?'?用戶??圖2.1:云計(jì)算數(shù)據(jù)存取訪問(wèn)模型?....
圖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訪問(wèn)控制模型實(shí)體間的通信??
第三章TESAC建模?華東師范大學(xué)碩士學(xué)位論文??人到與仍以、和Sewer.,三個(gè)實(shí)體進(jìn)程的通筒中來(lái),得到如'圖3.1所??展示的整體通信模型。??在M?3.1所展示的整體逋儐模型.中.,進(jìn)程f/挪、DflfflO_er和Se??贈(zèng)?分別??通過(guò)通道Geff/、GefD和Ge?來(lái)....
本文編號(hào):4028650
本文鏈接:http://www.wukwdryxk.cn/shoufeilunwen/xixikjs/4028650.html
下一篇:沒(méi)有了