45 citations · 205 across the 65 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2018★ 1 cited
Privacy Preserving Controller Synthesis via Belief Abstraction
Bo Wu, Hai Lin
Privacy is a crucial concern in many systems in addition to their given tasks. We consider a new notion of privacy based on beliefs of the system states, which is closely related t…
cs.CR2018
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems
Bo Wu, Jin Dai, Hai Lin
Opacity is a confidentiality property that characterizes the non-disclosure of specified secret information of a system to an outside observer. In this paper, we consider the enfor…
cs.CR2018
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems
Bo Wu, Zhiyu Liu, Hai Lin
Opacity is a property that characterizes the system's capability to keep its "secret" from being inferred by an intruder that partially observes the system's behavior. In this pape…