TY - GEN
T1 - Information flow analysis for file systems and databases using labels
AU - Gudes, Ehud
AU - Mancini, Luigi V.
AU - Parisi-Presicce, Francesco
PY - 2004/1/1
Y1 - 2004/1/1
N2 - The control of information flow has been used to address problems concerning the privacy and the secrecy of data. A model based on decentralized labels extends traditional multilevel security models by allowing users to declassify information in a distributed way. We extend this decentralized labels model developed by other authors by addressing specific issues that arise in accessing files and databases and in general in I/O operations. While retaining the support for static analysis, we also include run-time checks to allow declassification with "controlled information leakage".
AB - The control of information flow has been used to address problems concerning the privacy and the secrecy of data. A model based on decentralized labels extends traditional multilevel security models by allowing users to declassify information in a distributed way. We extend this decentralized labels model developed by other authors by addressing specific issues that arise in accessing files and databases and in general in I/O operations. While retaining the support for static analysis, we also include run-time checks to allow declassification with "controlled information leakage".
UR - http://www.scopus.com/inward/record.url?scp=84902493767&partnerID=8YFLogxK
U2 - 10.1007/1-4020-8128-6_9
DO - 10.1007/1-4020-8128-6_9
M3 - Conference contribution
AN - SCOPUS:84902493767
SN - 1402081278
SN - 9781402081279
T3 - IFIP Advances in Information and Communication Technology
SP - 125
EP - 141
BT - Research Directions in Data and Applications Security XVIII - IFIP TC11/WG11.3 18th Annual Conference on Data and Applications Security
PB - Springer New York LLC
T2 - IFIP TC11/WG11.3 18th Annual Conference on Data and Applications Security
Y2 - 25 July 2004 through 28 July 2004
ER -