Synthesis of Non-interferent distributed systems

Communications in Computer and Information Science

Volumn 1, Issue , 2007, Pages 159-170

  Cassez, Franck ^a   Mullins, John ^b   Roux, Olivier H ^a  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^b ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

Controller Synthesis; Non Interference

Indexed keywords

CONTROLLER SYNTHESIS; DISTRIBUTED SYSTEMS; NON INTERFERENCE; SECURITY ISSUES; SECURITY PROPERTIES;

COMPUTER SCIENCE;

NETWORK SECURITY;

EID: 84860492177     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-73986-9_14     Document Type: Conference Paper

References (16)

1. van der Meyden, R., Zhang, C.: Algorithmic verification of noninterference properties. In: Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006). Electronic Notes in Theoretical Computer Science, vol. 168, pp. 61-75. Elsevier, Amsterdam (2006)
2. Agat, J.: Transforming out timing leaks. In: Proc. of the 27th ACM SIGPLANSIGACT symposium on Principles of programming languages(POPL'00), Boston, MA, USA, pp. 40-53. ACM Press, New York (2000)
3. Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21(1) (2003)
4. Gardey, G., Mullins, J., Roux, O.H.: Non-interference control synthesis for security timed automata. In: 3rd International Workshop on Security Issues in Concurrency (SecCo'05), San Francisco, USA. Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam (2005)
5. Kozen, D.: Results on the propositional -calculus. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages, and Programming. LNCS, vol. 140, pp. 348-359. Springer, Heidelberg (1982)
6. Arnold, A., Niwiński, D.: Rudiments of μ-calculus. In: Studies in Logic and the Foundations of Mathematics, vol. 146, North-Holland, Amsterdam (2001)
7. Aceto, L., Ingólfsdóttir, A.: Characteristic formulæ: From automata to logic. Technical Report RS-07-2, BRICS, Aarhus, Denmark (2007)
8. Müller-Olm, M.: Derivation of characteristic formulæ. In: Workshop on Mathemantical Foundations of Computer Science, Brno, Slovakia. Electronic Notes in Theoretical Computer Science, vol. 18, Elsevier, Amsterdam (1998)
9. Ramadge, P., Wonham, W.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1) (1987)
10. Ramadge, P., Wonham, W.: The control of discrete event systems. In: Proceedings of the IEEE, IEEE Computer Society Press, Los Alamitos (1989)
11. Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 95. LNCS, vol. 900, pp. 1-13. Springer, Heidelberg (1995)
12. Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theor. Comput. Sci. 1(303), 7-34 (2003)
13. Riedweg, S., Pinchinat, S.: Quantified mu-calculus for control synthesis. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 642-651. Springer, Heidelberg (2003)
14. Focardi, R., Gorrieri, R.: Classification of security properties (part I: Information flow). In: Focardi, R., Gorrieri, R. (eds.) Foundations of Security Analysis and Design. LNCS, vol. 2171, pp. 331-396. Springer, Heidelberg (2001)
15. Hoffmann, G., Wong-Toi, H.: Symbolic synthesis of supervisory controllers. In: Proc. of the American Control Conference, Chicago, IL, pp. 2789-2793 (1992)
16. Point, G.: The synthesis toolbox - from modal automata to controller synthesis. Technical Report, 1342-05, LaBRI (2005) available at http://www.labri.fr/publications/mvtsi/2005/Poi05