%0 Conference Proceedings
%T Preventing Unauthorized Data Flows
%+ Bilkent University [Ankara]
%+ University of Southampton
%+ Rutgers Business School
%+ Indian Institute of Technology Kharagpur (IIT Kharagpur)
%A Uzun, Emre
%A Parlato, Gennaro
%A Atluri, Vijayalakshmi
%A Ferrara, Anna, Lisa
%A Vaidya, Jaideep
%A Sural, Shamik
%A Lorenzi, David
%Z Part 1: Access Control
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC)
%C Philadelphia, PA, United States
%Y Giovanni Livraga
%Y Sencun Zhu
%I Springer International Publishing
%3 Data and Applications Security and Privacy XXXI
%V LNCS-10359
%P 41-62
%8 2017-07-19
%D 2017
%R 10.1007/978-3-319-61176-1_3
%Z Computer Science [cs]Conference papers
%X Trojan Horse attacks can lead to unauthorized data flows and can cause either a confidentiality violation or an integrity violation. Existing solutions to address this problem employ analysis techniques that keep track of all subject accesses to objects, and hence can be expensive. In this paper we show that for an unauthorized flow to exist in an access control matrix, a flow of length one must exist. Thus, to eliminate unauthorized flows, it is sufficient to remove all one-step flows, thereby avoiding the need for expensive transitive closure computations. This new insight allows us to develop an efficient methodology to identify and prevent all unauthorized flows leading to confidentiality and integrity violations. We develop separate solutions for two different environments that occur in real life, and experimentally validate the efficiency and restrictiveness of the proposed approaches using real data sets.
%G English
%Z TC 11
%Z WG 11.3
%2 https://inria.hal.science/hal-01684345/document
%2 https://inria.hal.science/hal-01684345/file/453481_1_En_3_Chapter.pdf
%L hal-01684345
%U https://inria.hal.science/hal-01684345
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-WG11-3
%~ IFIP-DBSEC
%~ IFIP-LNCS-10359