The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1983 vol.32)
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
S.M. Kramer, "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
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool