Synthesis of Non-Interferent Distributed Systems

@inproceedings{Cassez2007SynthesisON,
  title={Synthesis of Non-Interferent Distributed Systems},
  author={Franck Cassez and John Mullins and Olivier H. Roux},
  year={2007}
}
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