%0 Conference Proceedings
%T Only Connect, Securely
%+ Indian Institute of Technology Delhi (IIT Delhi)
%A Bhardwaj, Chandrika
%A Prasad, Sanjiva
%Z Part 1: Full Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Copenhagen, Denmark
%Y Jorge A. Pérez
%Y Nobuko Yoshida
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-11535
%P 75-92
%8 2019-06-17
%D 2019
%R 10.1007/978-3-030-21759-4_5
%K Security class lattice
%K Information Flow
%K Lagois connection
%K Atomic operations
%K Non-interference
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X The lattice model proposed by Denning in her seminal work provided secure information flow analyses with an intuitive and uniform mathematical foundation. Different organisations, however, may employ quite different security lattices. In this paper, we propose a connection framework that permits different organisations to exchange information while maintaining both security of information flow as well as their autonomy in formulating and maintaining security policies. Our prescriptive framework is based on the rigorous mathematical framework of Lagois connections given by Melton, together with a simple operational model for transferring object data between domains. The merit of this formulation is that it is simple, minimal, adaptable and intuitive, and provides a formal framework for establishing secure information flow across autonomous interacting organisations. We show that our framework is semantically sound, by proving that the connections proposed preserve standard correctness notions such as non-interference.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02313753/document
%2 https://inria.hal.science/hal-02313753/file/478668_1_En_5_Chapter.pdf
%L hal-02313753
%U https://inria.hal.science/hal-02313753
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-11535