Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement

by   Sahar Mohajerani, et al.

This paper develops a novel compositional and abstraction-based approach to synthesize edit functions for opacity enforcement in modular discrete event systems. Edit functions alter the output of the system by erasing or inserting events in order to obfuscate the outside intruder, whose goal is to infer the secrets of the system from its observation. We synthesize edit functions to solve the opacity enforcement problem in a modular setting, which significantly reduces the computational complexity compared with the monolithic approach. Two abstraction methods called opaque observation equivalence and opaque bisimulation are first employed to abstract the individual components of the modular system and their observers. Subsequently, we propose a method to transform the synthesis of edit functions to the calculation of modular supremal nonblocking supervisors. We show that the edit functions synthesized in this manner correctly solve the opacity enforcement problem.



There are no comments yet.


page 1


The Minimum Edit Arborescence Problem and Its Use in Compressing Graph Collections [Extended Version]

The inference of minimum spanning arborescences within a set of objects ...

An Improved Algorithm for The k-Dyck Edit Distance Problem

A Dyck sequence is a sequence of opening and closing parentheses (of var...

Transforming opacity verification to nonblocking verification in modular systems

We consider the verification of current-state and K-step opacity for sys...

Privacy Preserving Controller Synthesis via Belief Abstraction

Privacy is a crucial concern in many systems in addition to their given ...

Compositional Synthesis of Modular Systems (Full Version)

Given the advances in reactive synthesis, it is a natural next step to c...

Towards Flying through Modular Forms

Modular forms are highly self-symmetric functions studied in number theo...

Utility-Based Abstraction and Categorization

We take a utility-based approach to categorization. We construct general...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.