@inproceedings{2152fc2eb1984d1f8db9ac078ba4d9e6,
title = "Synthesis of non-interferent distributed systems",
abstract = "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 low level actions. Various notions of non-interference have been defined in the literature, and in this paper we focus on two of them: one trace-based property (SNNI) and another bisimulation-based property (BSNNI). For these properties we study the problems of synthesis of a high level user so that the system is non-interferent. We prove that a most permissive high level user can be computed when one exists.",
keywords = "controller synthesis, non-interference",
author = "Franck Cassez and John Mullins and Roux, {Olivier H.}",
year = "2007",
doi = "10.1007/978-3-540-73986-9_14",
language = "English",
isbn = "9783540739852",
volume = "1",
series = "Communications in Computer and Information Science",
publisher = "Springer, Springer Nature",
pages = "159--170",
booktitle = "Computer Network Security - Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, Proceedings",
address = "United States",
note = "4th International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2007 ; Conference date: 13-09-2007 Through 15-09-2007",
}