no code implementations • 14 Feb 2024 • Shoma Matsui, Kai Cai, Karen Rudie
In this paper, we study a security problem of protecting secrets in distributed systems.
no code implementations • 20 Dec 2021 • Sasinee Pruekprasert, Kai Cai
We propose sufficient conditions for verifying opacity of the global system model based only on the opacity of the local systems.
no code implementations • 2 Aug 2021 • Renyuan Zhang, Jiahao Wang, Zenghui Wang, Kai Cai
Finally, combining with the algorithm of computing the supremal controllable sublanguage, we design algorithms to compute the maximally permissive solutions to the formulated (heterogeneously) quantitatively nonblocking supervisory control problems.
no code implementations • 16 Feb 2021 • Shoma Matsui, Kai Cai
We first introduce usability-aware cost levels for the protectable events, and then formulate the security problem as to ensure that every system trajectory that reaches a secret state contains a specified number of protectable events with at least a certain security level, and the highest usability-aware cost level of these events is minimum.
no code implementations • 22 Sep 2019 • JiaQi Zhang, Keyou You, Kai Cai
Our key idea is the novel use of the distributed push-pull gradient algorithm (PPG) to solve the dual problem of the resource allocation problem.