• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>European Symposium on Research in Computer Security(ESORICS 2004); 20040913-15; Sophia Antipolis(FR) >Possibilistic Information Flow Control in the Presence of Encrypted Communicationq
【24h】

Possibilistic Information Flow Control in the Presence of Encrypted Communicationq

机译：存在加密通信时的可能信息流控制

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

摘要

Distributed systems make increasing use of encrypted channels to enable confidential communication. While non-interference provides suitable means to investigate the flow of information within distributed systems, it has proved to be rather difficult to capture the notion of encrypted channels in such a framework. In this paper, we extend the framework Maks for possibilistic information flow in order to distinguish between the information flow due to the fact that a message has been sent and the flow that is due to the actual content of a message. We introduce an equivalence relation on observable events to identify those events an observer cannot distinguish and provide reduction techniques that enable us to prove the security of such systems with the help of exisiting unwinding techniques.
机译：分布式系统越来越多地使用加密通道来实现机密通信。尽管无干扰提供了调查分布式系统内信息流的合适方法，但事实证明，在这样的框架中捕获加密通道的概念相当困难。在本文中，我们扩展了可能性信息流的框架Maks，以区分由于已发送消息的事实而导致的信息流与由于消息的实际内容而导致的信息流之间的区别。我们在可观察事件上引入等价关系，以识别观察者无法区分的事件，并提供简化技术，使我们能够通过现有的放卷技术来证明此类系统的安全性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号