9 citations · 9 across the 3 of their papers we have counts for
4 papers
Distributed Secret Securing in Discrete-Event Systems
Shoma Matsui, Kai Cai, Karen Rudie
In this paper, we study a security problem of protecting secrets in distributed systems. Specifically, we employ discrete-event systems to describe the structure and behaviour of d…
Usability Aware Secret Protection with Minimum Cost
Shoma Matsui, Kai Cai
In this paper we study a cybersecurity problem of protecting system's secrets with multiple protections and a required security level, while minimizing the associated cost due to i…
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies
Shoma Matsui, Stéphane Lafortune
There is an increasing need to study the vulnerability of communication protocols in distributed systems to malicious attacks that attempt to violate properties such as safety or n…
Secret Securing with Multiple Protections and Minimum Costs
Shoma Matsui, Kai Cai
In this paper we study a security problem of protecting secrets with multiple protections and minimum costs. The target system is modeled as a discrete-event system (DES) in which…