【摘 要】
：
确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策略约束.首先使用隐私策略规约服务的隐私权限
【机 构】
：
南京航空航天大学 信息科学与技术学院,南京审计学院 信息科学学院,解放军理工大学 指挥自动化学院
【基金项目】
：
国家高技术研究发展计划(863计划);
论文部分内容阅读
确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策略约束.首先使用隐私策略规约服务的隐私权限,然后利用带隐私语义的接口自动机对服务的接口行为进行建模.在此基础上,形式化地检验了服务组合行为是否满足隐私授权约束.基于上述验证过程所组合的Web服务,能有效地减轻对用户隐私数据的危害,增强了组合Web服务的安全性和可靠性.
其他文献
本文以长江中下游地区4省243个农户的调查数据为例,对不同土地规模农户的经营行为进行实证分析.结果表明,不同土地规模农户在劳动力配置、水稻种植模式选择和水稻生产技术采
本文基于山东、湖南、新疆三省的社会核算矩阵(SAM),利用SAM的乘数分析方法,对价格变动如何影响农村居民的收入分配进行实证研究.研究表明:各部门的价格变动对农村居民消费价
在马赫5、正8°攻角状态对收缩比为6.9的带楔形前体的矩形转圆形内收缩进气道进行了风洞试验和数值模拟,研究了该进气道无放气及有放气时在风洞中的启动特性。结果表明,无放
建立了音圈电机驱动的激光扫描器的模型并进行了参数辨识。由于音圈电机驱动的激光扫描器反馈回路的高频噪声较大,利用光电精密跟踪的传统方法,如改进型PID控制算法,以及理想
叙述了采用集成光学调制器的光纤电流互感器的工作原理。在此基础上分析了集成光学调制器调制系数随温度变化对光纤电流互感器测量精度的影响,对其产生的测量误差进行了仿真
为探索高效节能的干燥方式,得到高质量的干制品,该文在不同干燥温度、样本厚度和辐照距离的条件下,研究了红外辐射加热干燥对茄子干燥特性和色泽的影响；并利用多元非线性回归
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
采用一个典型的双垂尾鸭式布局模型,利用CFD手段对垂尾导致大迎角升力减小现象的机理进行了研究.发现在低速大迎角条件下,前体脱体涡在机身后体诱导出向外的速度分量,致使垂
为了研究等离子体气动效应的内在机理,建立燃烧室助燃激励器中等离子体气动效应的数值仿真模型,通过求解电势方程和电荷密度方程,得到等离子体气动效应的体积力分布函数,将动
针对国内外光伏系统研究的现状,提出并研究了一种大功率智能太阳电池模拟系统.通过分析太阳电池模拟数学模型,进行了智能模拟系统样机的软件、硬件设计与评价.本系统在给定太