The Community for Technology Leaders
RSS Icon
Issue No.12 - December (1983 vol.32)
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
S.M. Kramer, D.P. Sidhu, "Security Information Flow in Multidimensional Arrays", IEEE Transactions on Computers, vol.32, no. 12, pp. 1188-1191, December 1983, doi:10.1109/TC.1983.1676180
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool