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
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.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
194 ms
(Ver 3.3 (11022016))