• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>12th International Conference on CONCUR 2001 - Concurrency Theory, 12th, Aug 20-25, 2001, Aalborg, Denmark >Probabilistic Information Flow in a Process Algebra
【24h】

Probabilistic Information Flow in a Process Algebra

机译：过程代数中的概率信息流

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

摘要

We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a calculus for the analysis of probabilistic systems and a notion of probabilistic bisimulation in order to define classical security properties, such as nondeterministic noninterference (NNI) and nondeducibility on compositions (NDC), in the probabilistic setting. We show how to (ⅰ) extend the results known for the nondeterministic case, (ⅱ) analyse insecure nondeterministic behaviors, and (ⅱ) reveal probabilistic covert channels which may be not observable in the nondeterministic case. Finally, we show that the expressiveness of the calculus we adopt makes it possible to model concurrent systems in order to derive also performance measures.
机译：我们提出了一种过程代数方法，将其扩展到计算机系统的经典逻辑信息流分析的概率设置。特别是，我们使用演算来分析概率系统，并使用概率双仿真的概念来定义概率环境中的经典安全属性，例如非确定性非干扰（NNI）和构想的不可推论性（NDC）。我们将展示如何（ⅰ）扩展不确定性案例的已知结果，（ⅱ）分析不安全的不确定性行为，以及（ⅱ）揭示在不确定性案例中可能无法观察到的概率隐蔽渠道。最后，我们证明了我们采用的演算的表现力使得可以对并发系统进行建模，从而得出性能指标。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号