This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Security Information Flow in Multidimensional Arrays
December 1983 (vol. 32 no. 12)
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(B1, B2???,Bn) = , it is sufficient to analyze the flows Bj? A( B1, B2,??? Bn), i.e., show that L[Bj]= L[A(B1, B2,???,Bn)], 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, D.P. Sidhu, "Security Information Flow in Multidimensional Arrays," IEEE Transactions on Computers, vol. 32, no. 12, pp. 1188-1191, Dec. 1983, doi:10.1109/TC.1983.1676180
Usage of this product signifies your acceptance of the Terms of Use.