【摘 要】
：
确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策略约束。首先使用隐私策略规约服务的隐私权
【机 构】
：
南京航空航天大学信息科学与技术学院,解放军理工大学指挥自动化学院,南京审计学院信息科学学院
【基金项目】
：
国家863计划资助项目（2009AA010307）
论文部分内容阅读
确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策略约束。首先使用隐私策略规约服务的隐私权限,然后利用带隐私语义的接口自动机对服务的接口行为进行建模。在此基础上,形式化地检验了服务组合行为是否满足隐私授权约束。基于上述验证过程所组合的Web服务,能有效地减轻对用户隐私数据的危害,增强了组合Web服务的安全性和可靠性。
其他文献
我国已于2001年11月10日顺利加入WTO,这标志着我国经济将进入一个新的发展时期.我国金融与世界金融将融为一体.经济全球化扩大了金融的作用,同时也扩大了金融风险的作用范围.
伴随着经济社会的发展,普通高校成人教育不同程度地存在着办学条件差,学习与应用脱节,教学内容、教学方法、办学模式缺乏成人高教特色等问题,面对新世纪,普通高校成人教育必
采用两步法制备氧化锌纳米片/聚苯胺(ZnO/PANI)复合材料,首先制备ZnO纳米片,然后以此为载体,通过苯胺单体的原位聚合得到最终产物。通过XRD、FTIR、FESEM、氮气吸附-脱附和紫
采用第一性原理研究了Ce和N共掺杂锐钛矿TiO2的稳定性、电子结构和光学性质.结果表明在锐钛矿TiO2中Ce倾向于间隙掺杂,而N更倾向于O替位掺杂;Ce单掺杂和Ce-N共掺杂都能使TiO2
本文讨论了大烘缸（杨克式烘缸）疲劳设计计算问题。首先用有限元方法分析了应力随时间的变化规律，并给出了解析解简化近似计算公式，该公式经有限元法验证，具有足够的精确度。然后对
减少漂白过程中H2O2的催化分解是降低漂白成本的重要途径。研究指出,马尾松磨木浆H2O2漂白前经H2SO4预处理能减少H2O2的分解,当H2SO4用量为0.6％时,漂浆白度增加1.5度,白度增值
采用溶胶-凝胶法制备了CuO掺杂TiO2纳米材料并用于丙酮气敏传感器制备,通过XRD和SEM对样品的物相结构和表面微观形貌进行表征,利用 EDS对样品的元素种类与平面分布进行了分析
"老龄化时代"的伦理形态是什么?因何形态以及如何形态?通过历史并关注形态的分析得出三点结论。中国传统社会以家庭为重心,通过"报"—"敬"—"畏"的理论构架和"孝"伦理精神及
本文从经济、政治、文化三方面对“中苏论战”作了系统论述,阐明了“中苏论战”时中苏两国的社会生产力发展状况及各自执行的国内政策,揭示了中国当时经济、政治、文化发展的
开放经济中,外部均衡是一国所追求的宏观经济目标之一,但外部失衡是普遍现象。外部失衡表现为经常账户的过度盈余或赤字,当经常账户赤字不可维持时可能会导致该国发生金融危