• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Advances in data and web management >A Verification Mechanism for Secured Message Processing in Business Collaboration
【24h】

A Verification Mechanism for Secured Message Processing in Business Collaboration

机译：业务协作中安全消息处理的验证机制

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Message processing can become unsecured resulting in unreliable business collaboration in terms of authorization policy conflicts, for example, when (1) incorrect role assignment or modification occurs in a partner's services or (2) messages transferred from one organization are processed by unqualified roles in other collaborating business participants. Therefore, verification mechanism based on access policies is critical for managing secured message processing in business collaboration. In this paper, we exploit a role authorization model, Role-Net, which is developed based on Hierarchical Colored Petri Nets (HCPNs) to specify and manage role authorization in business collaboration. A property named Role Authorization Based Dead Marking Freeness is defined based on Role-Net to verify business collaboration reliability according to partners' authorization policies. An algebraic verification method for secured message processing is introduced as well.
机译：消息处理可能变得不安全，从而在授权策略冲突方面导致不可靠的业务协作，例如，当（1）合作伙伴的服务中发生不正确的角色分配或修改，或者（2）从一个组织传输的消息由另一组织中不合格的角色处理时合作业务参与者。因此，基于访问策略的验证机制对于管理业务协作中的安全消息处理至关重要。在本文中，我们利用角色授权模型Role-Net，该模型是基于分层彩色Petri网（HCPN）开发的，用于指定和管理业务协作中的角色授权。基于Role-Net定义了一个名为“基于角色授权的死标记自由度”的属性，以根据合作伙伴的授权策略验证业务协作的可靠性。还介绍了一种用于安全消息处理的代数验证方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号