【摘要】：表述性狀態(tài)傳遞(RESTful)服務(wù)已成為當前以云計算、物聯(lián)網(wǎng)為代表的泛在服務(wù)體系結(jié)構(gòu)中使用最廣泛的服務(wù)交互方式.與傳統(tǒng)SOAP/WS-*Web服務(wù)不同,RESTful服務(wù)的超媒體特性使得其服務(wù)響應(yīng)中常包含能作為引擎驅(qū)動新資源調(diào)用的鏈接.RESTful服務(wù)請求/響應(yīng)過程包含復(fù)雜的內(nèi)部狀態(tài)變遷,也帶來了更大的隱私泄露風險.如何在超媒體驅(qū)動的動態(tài)交互方式中精確刻畫隱私活動并支持面向隱私需求的驗證,是RESTful服務(wù)隱私保護的1個基本問題.提出了一種RESTful服務(wù)應(yīng)用狀態(tài)隱私的形式化模型并研究了從RESTful服務(wù)描述向此模型的自動轉(zhuǎn)換方法.在該模型中,不僅通過RESTful服務(wù)中隱私活動的元建模確保了對隱私操作的精確刻畫,同時形式化定義了RESTful服務(wù)資源操作、鏈接等基本概念以及之間的關(guān)聯(lián)關(guān)系.最后討論了該理論方法的實現(xiàn)框架,并通過案例分析和基于自行開發(fā)的實現(xiàn)工具的實驗說明了方法的可用性.
[Abstract]:Character-state delivery of (RESTful) services has become the most widely used service interaction method in the service architecture represented by cloud computing and the Internet of things. Unlike traditional SOAP/WS-*Web services, the hypermedia features of RESTful services often contain links in their service responses that can be used as engines to drive new resource invocations.The RESTful service request / response process contains complex internal state transitions. It also poses a greater risk of privacy leaks. How to accurately depict privacy activities in hypermedia-driven dynamic interaction and support the verification of privacy requirements is a basic problem of privacy protection for RESTful services. In this paper, a formal model of RESTful service application state privacy is proposed and an automatic transformation method from RESTful service description to this model is studied. In this model, not only the metamodel of privacy activities in RESTful services ensures the accurate description of privacy operations, but also the basic concepts of RESTful services resource operations, links and their relationships are formalized. Finally, the implementation framework of the theory and method is discussed, and the usability of the method is illustrated by case analysis and experiments based on self-developed implementation tools.
【作者單位】： 南京航空航天大學計算機科學與技術(shù)學院;
【基金】：國家自然科學基金項目(61272083,61262002) 國家“八六三”高技術(shù)研究發(fā)展計劃基金項目(2015AA015303)~~
【分類號】：TP309

【相似文獻】

相關(guān)期刊論文 前10條

1 張君昌;論超媒體時代[J];電視研究;2002年05期

2 胡妙德;大文化視野的觀照——寫在《超媒體時代》再版發(fā)行之際[J];聲屏世界;2005年02期

3 白楊;劉月;;超媒體在教學應(yīng)用中存在的問題及改善對策[J];中國教育技術(shù)裝備;2008年24期

4 石克;;藍天 藍海 藍牙 藍媒 與李永先生暢談中國首個超媒體社區(qū)[J];廣告人;2008年10期

5 張君昌;;超媒體時代:傳統(tǒng)媒體如何實現(xiàn)命運逆轉(zhuǎn)[J];中國廣播;2011年12期

6 陸慶達,李勁宇;超媒體設(shè)計模式綜述[J];計算機應(yīng)用研究;2001年08期

7 董曉常;條碼中的超媒體夢想[J];互聯(lián)網(wǎng)周刊;2005年23期

8 葉丹;;超媒體時代媒體的內(nèi)容管理[J];視聽界;2010年04期

9 葉丹;;超媒體時代的內(nèi)容管理策略[J];南方電視學刊;2010年01期

10 黃曉地;超媒體教學探討[J];電化教育研究;1995年04期

相關(guān)會議論文 前2條

1 吳倍貝;;超媒體時代創(chuàng)意廣告媒介模式探討[A];中國創(chuàng)意設(shè)計年鑒論文集2013[C];2014年

2 楊后川;王良才;劉詩漢;;畫法幾何超媒體CAI軟件[A];面向21世紀的圖學教育——第十二屆全國圖學教育研討會暨第三屆制圖CAI課件演示交流會論文集[C];2000年

相關(guān)重要報紙文章 前10條

1 鐘小平;超媒體會議助力電子政務(wù)[N];中國計算機報;2003年

2 紹瑜;超媒體視訊勢不可擋[N];中國計算機報;2004年

3 何喜田;超媒體時代的個性化生存[N];甘肅日報;2004年

4 寶山;閃亮登場[N];中國國門時報(中國出入境檢驗疫報);2000年

5 陳紹瑜;VTEL開創(chuàng)超媒體視訊應(yīng)用[N];中國計算機報;2003年

6 中國廣播電視協(xié)會 張君昌 北京歌華有線電視網(wǎng)絡(luò)股份有限公司 熊英;建構(gòu)超媒體時代的傳媒理論體系[N];光明日報;2014年

7 ;VTEL超媒體視訊平臺Vista VX[N];中國計算機報;2003年

8 山東 王蘭富;小辭典[N];電腦報;2003年

9 ;輕松聯(lián)動 無限溝通[N];中國計算機報;2003年

10 海南;《人民日報》數(shù)字版明年開始收費閱讀[N];中國新聞出版報;2009年

，

本文編號：2321872