1 paper
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…