Issue No. 12 - December (1983 vol. 32)
S.M. Kramer , Mitre Corporation
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
specification, Array, explicit flows, implicit flows, information flow security analysis, lattice, security levels, security model, security policy
D. Sidhu and S. Kramer, "Security Information Flow in Multidimensional Arrays," in IEEE Transactions on Computers, vol. 32, no. , pp. 1188-1191, 1983.