推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

面向超媒体链接的RESTful服务隐私建模方法

更新时间:2019-12-25 13:51:40 大小:2M 上传用户:zhiyao6查看TA发布的资源 标签:超媒体链接 下载积分:1分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

表述性状态传递(RESTful)服务已成为当前以云计算、物联网为代表的泛在服务体系结构中使用最广泛的服务交互方式.与传统SOAP/WS-*Web服务不同,RESTful服务的超媒体特性使得其服务响应中常包含能作为引擎驱动新资源调用的链接.RESTful服务请求/响应过程包含复杂的内部状态变迁,也带来了更大的隐私泄露风险.如何在超媒体驱动的动态交互方式中精确刻画隐私活动并支持面向隐私需求的验证,是RESTful服务隐私保护的1个基本问题.提出了一种RESTful服务应用状态隐私的形式化模型并研究了从RESTful服务描述向此模型的自动转换方法.在该模型中,不仅通过RESTful服务中隐私活动的元建模确保了对隐私操作的精确刻画,同时形式化定义了RESTful服务资源操作、链接等基本概念以及之间的关联关系.最后讨论了该理论方法的实现框架,并通过案例分析和基于自行开发的实现工具的实验说明了方法的可用性.


部分文件列表

文件名 大小
面向超媒体链接的RESTful服务隐私建模方法.pdf 2M

部分页面预览

(完整内容请下载后查看)
54sn100239 2017 20151122  
计 算 机 研 究 与 发 展  
Journom tesearclo nt  
?
: ,  
05 2017  
ꢀ ꢀ  
面向超媒体链接的  
服务隐私建模方法  
STul  
黄志球  
ꢀꢀꢀ  
南京航空航天大学计算机科学与技术学院 南京  
210016  
ode5 hom  
dinteac in STervce  
ꢀ ꢀ ꢀ ꢀ ꢀ  
yp  
an Zu  
g g q  
ꢀ ꢀ  
iver ronauronaucs 10016  
om ncchnolo  
ꢀ ꢀ ꢀ ꢀ  
gy  
j g  
y f  
ꢀ ꢀ  
j g  
tract esentatatfeervce EServce has inedeeaccnce  
g  
ternaivAP WS b servcekn the h aturf  
g g  
ꢀꢀ ꢀ ꢀ ꢀ ꢀ p  
?
RESfuervce thnsESfusul cntinhaseo  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
esourcesnternatatervesnse  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ?  
p  
roceseai er ivac skccuratel divac acc  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ y  
y p p y  
interacivontexivendntasu ESfuervce ivac  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ p  
rotecesearcesenEState ivac asen  
ꢀ ꢀ pp ꢀ ꢀ  
venutscusutcafoEServce  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
deschasthe vac ac c  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
vac acccuraternntEServce  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
anelansn thhescusfoEServesourceo  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
thorrein ivac acn we atturesourck  
gp  
p p ꢀꢀ  
ma n treesenelansi behe ESfuervesourceA  
pp g  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
trfood based on thesourc  trentrduced to enerathe  
pp g  
ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
correin ivac acESfuervinurther eneratl  
gp  
ꢀ ꢀ ꢀ ꢀ g  
ꢀ ꢀ  
venutondein th rotocoe  
ꢀ ꢀ ꢀ ꢀ p  
nal usas a ad tct servntase our  
ꢀꢀ ꢀ ꢀ ꢀ ꢀ ꢀ  
rotot ooeaib oac.  
ꢀ ꢀ ꢀ ꢀ  
p  
ꢀ  
; ; ; ;  
Ke wrds ESfuervce ivac l h  tate Interne+  
yp  
p  
表述性状态传递  
服务已成为当前以云计算 物联网为代表的泛在服务体系结构中使  
RESful  
RESful  
用最广泛的服务交互方式 与传统  
服务不同  
服务的超媒体特性使得其服务  
AP WS b  
? -  
响应中常包含能作为引擎驱动新资源调用的链接  
服务请求 响应过程包含复杂的内部状态变  
ESful  
?
迁 也带来了更大的隐私泄露风险 如何在超媒体驱动的动态交互方式中精确刻画隐私活动并支持面向  
隐私需求的验证 是  
服务隐私保护的 个基本问题 提出了一种  
RESful  
服务应用状态隐私  
RESul  
服 务 描 述 向 此 模 型 的 自 动 转 换 方 法 在 该 模 型 中 不 仅 通 过  
的形式 化 模 型 并 研 究 了 从  
RESful  
服务中隐私活动的元建模确保了对隐私操作的精确刻画 同时形式化定义了  
服务资  
RESful  
RESul  
2016 05 16  
收稿日期  
修回日期  
- -  
2015 12 21  
基金项目 家自然科学基金项目  
( ,  
61272083 61262002  
);  
国家 八六三 高技术研究发展计划基金项目  
20115303  
u otehe turaencounda 61272083 61262002 anhe h  
ꢀ ꢀ p  
y  
ꢀ ꢀ  
)(  
g  
chnlo searclo a 86 0115303 .  
gy ꢀ ꢀ ꢀ ꢀ  
进等 面向超媒体链接的  
服务隐私建模方法  
RESul  
887  
源操作 链接等基本概念以及之间的关联关系 最后讨论了该理论方法的实现框架 并通过案例分析和  
基于自行开发的实现工具的实验说明了方法的可用性  
服务 隐私模型 超媒体 应用状态引擎 互联网  
RESful  
关键词  
中图法分类号  
301  
ervce aS  
ꢀ  
泛在服务  
将互联网生态  
序逻辑刻画了  
分 别 使 用  
服务的组合 文献  
RESful .  
0  
ꢀꢀ  
圈中的软件 物理资源和人广泛连接 并通过特定的  
网 和 有 限 状 态 机 对  
i  
RESul  
交互方式 使 这 些 元 素 深 度 融 合 表 述 性 状 态 传 递  
链接进行了建模 但这些研究工作多集  
HAEOAS  
esentatatfer EST  
最早 作 为  
[]  
中于由链接引发的资源之间的行为交互 对于如何  
一种面向分布式超媒体系统的体系结构被提出  
从隐私数据保护的角度刻画 服务的应用  
RESul  
基于  
的服务被称为  
服务 作为一种  
状态尚未有研究 另一方面 上述建模工作尚主要依  
REST  
RESful  
资源为中心且完全基于基本  
协议的服务交  
赖于人工建模 缺乏从服务描述文档向所生成模型  
HTP  
服务由于其简单 可伸缩和高共  
互方式  
RESul  
自动转化的能力  
享等特性 已经越来越多地被应用于云计算 物联网  
[]  
为了能精确反映  
服务中的隐私相关  
RESful  
等典型的泛在服务应用中  
服务已超过传统  
截止  
AP WS b  
2013  
RESful  
操作并支持自动化的模型生成 本文提出了一种形  
服务成为以互联网  
?
式化 的  
服 务 应 用 状 态 隐 私 模 型 以 及 从  
RESful  
为核心的应用系统中使用最广泛的消息交互方式  
服务描述向此模型的自动转换方法 其总  
RESful  
[,]  
中提出了  
13  
文献  
服务的核心特征  
RESful  
体思路有  
Pa l  
yp  
和成熟度模型 目前 国外诸多知名厂商 如  
系统中隐私活动的特 征 建  
针对  
RESful  
zon  
等的  
服务实现已经进入了  
RESful  
立隐私活动的元模型和形式化定义  
成熟度 级 也即以超媒体链接作为应用  
RESul  
状态引擎  
建立  
服务关键概念的精确语义以  
RESful  
n  
yp  
ꢀ ꢀ ꢀ ꢀp  
服务中应用状态和隐私活动间的映射  
RESful  
阶 段 原子  
state EOAS  
AP WS b  
? -  
关系  
服务中的 次服务请求中输入 和输出相对确定不  
通过跟踪资源描述文档 生成资源链接关联  
合  
原则的  
服务允许在  
HAEOAS  
RESful  
树描述  
服务由  
所 引 发 的 链 接  
RESful  
HAEOS  
k  
),  
这些链接可能被作为  
服务响应中包含链接  
和资源操作间的迭代关系  
后续操作的定位 也可能被作为状态引擎引发对新  
资源 的 访 问 特 性 使 得  
将资源链接树中不同类型节点和边自动转  
EOAS  
RESful  
化为语义精确的单事件确定有限自动机模型  
服务请求和响应过程中 可能包含了涉及不同角色  
同时 在以上理论工作的基础上结合案例分析  
多参与方的内部状态变迁和数据转移 而这种转移  
和工具实现 对上述方法的可用性展开讨论  
通过链接自动触发 对于用户完全透明 用户将丧失  
对自身隐私数据的控制权 从而引入了额外的隐私  
背景与相关工作  
风险  
[]  
[]  
私保护 标 准 和 规 范  
OECD 9100  
服务核心概念  
STul  
都将 提供可验证的方式 确保软件的实现满足对应  
()  
描述了  
———  
中的核心概念  
RESul  
1a  
的隐私 需 求 列 为 隐 私 保 护 需 要 满 足 的 最 重 要 原  
),  
一个资源由一个  
唯一指定 且可  
resource  
I  
则之一 因此 如何从隐私角度建模  
服务  
RESful  
能包 含 多 个 针 对 不 同  
方 法 的 资 源 操 作  
HTP  
链接驱动的应用状态并支持隐私需求的验证也即成  
为面向 服务隐私保护中的 个基本问题  
est nse  
分别代表了  
协议的请  
HTP  
RESul  
求和 响 应 在 请 求 中 主 要 输 入 外 部 参 数 并 通 过  
特 性 对  
目 前 已 有 部 分 研 究 针 对  
HAEOAS  
GET POST  
指 定 对 应 的  
方 法  
od  
HTP  
服务的建模开展了研究 如文献  
分别  
RESul  
67  
, )  
PUT DELETE 1  
个请求可能对应多种不同结果  
采用  
的状态图和类图从不同侧面对  
UML  
RESful  
的响应 每种响应都会对应  
的返回状态  
HTP  
[]  
采用时  
服务组合的结构和行为进行了建模 文献  
码 以及对应的消息响应头和响应体 每个资源操作  

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载