Synthesis of Non-Interferent Distributed Systems

  title={Synthesis of Non-Interferent Distributed Systems},
  author={Franck Cassez and John Mullins and Olivier H. Roux},
In this paper, we focus on distributed systems subject to security issues. Such systems are usually composed of two entities: a high level user and a low level user that can both do some actions. The security properties we consider are non-interference properties. A system is non-interferent if the low level user cannot deduce any information by playing its… CONTINUE READING