...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >Verification of Behavior-aware Privacy Requirements in Web Services Composition
【24h】

Verification of Behavior-aware Privacy Requirements in Web Services Composition

机译：验证Web服务组合中的行为感知隐私要求

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Privacy has been acknowledged to be a critical concern for many collaborative business environments. Recently, verifying whether Web services composition satisfies privacy requirement is a hot spot for privacy protection. However, little research focuses on behavioral privacy requirement. This paper proposes an approach based on model checking to verify the satisfiability of behavior-aware privacy requirements in services composition. Firstly, we extract LTL specification from the behavior constrains of privacy requirements. On the other side, the behavior of BPEL process is modeled by extended interface automata, which supports privacy semantics. Then it is transformed to Promela description, the input language of the model checker SPIN. Finally, we illustrate the verification of privacy requirements with SPIN.
机译：众所周知，隐私是许多协作业务环境中的关键问题。最近，验证Web服务组合是否满足隐私要求是隐私保护的热点。但是，很少有研究关注行为隐私要求。本文提出了一种基于模型检查的方法，以验证服务组合中行为感知隐私需求的可满足性。首先，我们从隐私要求的行为约束中提取LTL规范。另一方面，BPEL流程的行为是通过支持隐私语义的扩展接口自动机建模的。然后将其转换为Promela描述，即模型检查器SPIN的输入语言。最后，我们说明了如何使用SPIN验证隐私要求。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号