DocumentCode
1147883
Title
Security Information Flow in Multidimensional Arrays
Author
Kramer, Steven M. ; Sidhu, Deepinder P.
Author_Institution
Mitre Corporation
Issue
12
fYear
1983
Firstpage
1188
Lastpage
1191
Abstract
The problem of security flow into n-dimensional arrays is considered. It is shown that in the security flow analysis for an array assignment A(B1, B2···,Bn) = 〈expression〉, it is sufficient to analyze the flows Bj→ A( B1, B2,··· Bn), i.e., show that L[Bj]≤ L[A(B1, B2,···,Bn)], where L[X] denotes the security level of a variable X.
Keywords
Array; explicit flows; implicit flows; information flow security analysis; lattice; security levels; security model; security policy; specification; Context modeling; Data security; Data structures; Information analysis; Information security; Lattices; Logic; Multidimensional systems; Program processors; Research and development; Array; explicit flows; implicit flows; information flow security analysis; lattice; security levels; security model; security policy; specification;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1983.1676180
Filename
1676180
Link To Document