The Community for Technology Leaders
Green Image
Issue No. 12 - December (1983 vol. 32)
ISSN: 0018-9340
pp: 1188-1191
S.M. Kramer , Mitre Corporation
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(B<sup>1</sup>, B<sup>2</sup>???,B<sup>n</sup>) = <expression>, it is sufficient to analyze the flows B<sup>j</sup>? A( B<sup>1</sup>, B<sup>2</sup>,??? Bn), i.e., show that L[B<sup>j</sup>]= L[A(B<sup>1</sup>, B<sup>2</sup>,???,B<sup>n</sup>)], where L[X] d
INDEX TERMS
specification, Array, explicit flows, implicit flows, information flow security analysis, lattice, security levels, security model, security policy
CITATION
D.P. Sidhu, S.M. Kramer, "Security Information Flow in Multidimensional Arrays", IEEE Transactions on Computers, vol. 32, no. , pp. 1188-1191, December 1983, doi:10.1109/TC.1983.1676180
98 ms
(Ver )