首页> 外文期刊>Journal of Logic and Algebraic Programming >The security pi-calculus and non-interference
【24h】

The security pi-calculus and non-interference

机译:安全性演算与非干扰

获取原文
获取原文并翻译 | 示例

摘要

The security pi-calculus is a typed version of the asynchronous pi-calculus in which the types, in addition to constraining the input/output behaviour of processes, have security levels associated with them. This enables us to introduce a range of typing disciplines which allow input or output behaviour. or both, to be bounded above or below by a given security level. We define typed versions of may and must equivalences for the security pi-calculus, where the tests are parameterised relative to a security level. We provide alternative characterisations of these equivalences in terms of actions in context: these describe the actions a process may perform in a given typing environment, assuming the observer is constrained by a related, but possibly different, environment. The paper also contains non-interference results with respect to may and must testing. These show that certain form of non-interference can be enforced using our typing systems. (c) 2004 Elsevier Inc. All rights reserved.
机译:安全pi演算是异步pi演算的类型化版本,其中,除了约束进程的输入/输出行为外,这些类型还具有与之关联的安全级别。这使我们能够引入一系列允许输入或输出行为的输入规则。或两者都受给定安全级别的限制。我们为安全pi演算定义了may和must等效项的类型化版本,其中测试是相对于安全级别进行参数化的。我们根据上下文中的动作提供了这些等效项的替代特征:假设观察者受到相关但可能不同的环境的约束,它们描述了流程在给定类型环境中可能执行的动作。本文还包含有关可能和必不可少的测试的无干扰结果。这些表明,可以使用我们的键入系统强制执行某种形式的不干扰。 (c)2004 Elsevier Inc.保留所有权利。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号