...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Automatic Control >Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
【24h】

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions

机译：使用不确定性的公开已知编辑功能执行不透明度

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

摘要

This note investigates enforcement of opacity by nondeterministic edit functions. The edit functions alter the system's output by inserting fictitious events or erasing observed events. The edit decisions are randomly made while not known by the outside environment a priori. There is an intruder characterized as a passive observer with malicious goals to infer the secrets of the system. We require that opacity be enforced when the intruder may or may not know the implementation of edit functions. This requirement is termed as private and public safety. We also restrict the operation of edit functions by defining edit constraints. Then, the opacity enforcement problem is transformed to a three-player game among the edit function, the environment, and a dummy player, which helps to determine edit decisions. A game structure called the all edit structure (AES) is introduced to characterize the interaction among those players. It embeds all privately safe edit functions and may also embed publicly safe edit functions. Based on the AES, we present an algorithm that provably synthesizes nondeterministic edit functions that satisfy both private safety and public safety.
机译：本说明研究了不确定性编辑功能对不透明度的强制执行。编辑功能通过插入虚拟事件或擦除观察到的事件来更改系统的输出。编辑决定是随机做出的，而外界环境无法事先确定。有一个入侵者的特征是被动观察者，其恶意目标可以推断系统的秘密。当入侵者可能知道或可能不知道编辑功能的实现时，我们要求强制执行不透明性。此要求被称为私人和公共安全。我们还通过定义编辑约束来限制编辑功能的操作。然后，将不透明度强制问题转换为编辑功能，环境和虚拟玩家之间的三人游戏，这有助于确定编辑决策。引入了一种称为“全部编辑结构”（AES）的游戏结构来表征这些玩家之间的互动。它嵌入了所有私有安全编辑功能，也可能嵌入了公共安全编辑功能。基于AES，我们提出了一种算法，该算法可证明地综合满足私人安全和公共安全的不确定性编辑功能。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号