Enforcement of K-Step Opacity with Edit Functions

被引：5
作者：
Wintenberg, Andrew [1 ]
Blischke, Matthew [1 ]
Lafortune, Stephane [1 ]
Ozay, Necmiye [1 ]
机构：
[1] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
来源：
2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC) | 2021年
关键词：
DISCRETE-EVENT SYSTEMS; VALIDATION; NOTIONS;
D O I：
10.1109/CDC45484.2021.9682936
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Opacity is an information flow property for dynamic systems describing plausible deniability, that is whether an eavesdropper can deduce that "secret" behavior has occurred. In particular, K-step opacity considers secret actions that have occurred within the last K-steps in the past. We consider the problem of K-step opacity enforcement over automata using obfuscation. We present a general framework for K-step opacity enforcement and transform the problem of enforcing K-step opacity to enforcing current-state opacity. We can then apply existing obfuscation synthesis methods for current-state opacity to K-step opacity. We demonstrate this approach by enforcing privacy in the context of a novel contact tracing model.
引用
收藏
页码：331 / 338
页数：8
相关论文
共 50 条
  • [21] K-memory-embedded insertion mechanism for opacity enforcement
    Liu, Rongjian
    Mei, Liujuan
    Lu, Jianquan
    SYSTEMS & CONTROL LETTERS, 2020, 145
  • [22] Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques
    Chouchane, Amira
    Ghazel, Mohamed
    AUTOMATICA, 2024, 162
  • [23] Opacity Enforcement by Insertion Functions under Energy Constraints
    Ji, Yiding
    Yin, Xiang
    Lafortune, Stephan
    IFAC PAPERSONLINE, 2018, 51 (07): : 291 - 297
  • [24] Synthesis of insertion functions for enforcement of opacity security properties
    Wu, Yi-Chin
    Lafortune, Stephane
    AUTOMATICA, 2014, 50 (05) : 1336 - 1348
  • [25] Opacity Enforcement in Discrete Event Systems Using Modification Functions
    Li, Xiaoyan
    Hadjicostis, Christoforos N.
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024, : 3252 - 3264
  • [26] Enforcement of opacity security properties for ship information system
    Xing, Bowen
    Dai, Jin
    Liu, Sheng
    INTERNATIONAL JOURNAL OF NAVAL ARCHITECTURE AND OCEAN ENGINEERING, 2016, 8 (05) : 423 - 433
  • [27] Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
    Li, Xiaoyan
    Hadjicostis, Christoforos N.
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (10) : 5289 - 5303
  • [28] Concealability Analysis for Current-State Opacity Enforcement via Editing Functions
    Peng, Kun
    Chen, Yufeng
    Seatzu, Carla
    Li, Zhiwu
    Giua, Alessandro
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (10) : 7231 - 7238
  • [29] Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata
    Al-Sarayrah, Tareq Ahmad
    Li, Zhiwu
    Yin, Li
    Mostafa, Almetwally M.
    IEEE ACCESS, 2024, 12 : 84189 - 84203
  • [30] On-line Algorithm for Current State Opacity Enforcement in a Petri Net Framework
    Cong, X. Y.
    Fanti, M. P.
    Mangini, A. M.
    Li, Z. W.
    IFAC PAPERSONLINE, 2018, 51 (07): : 349 - 354
12345