|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.1983.1676180, author = {S.M. Kramer and D.P. Sidhu}, title = {Security Information Flow in Multidimensional Arrays}, journal ={IEEE Transactions on Computers}, volume = {32}, number = {12}, issn = {0018-9340}, year = {1983}, pages = {1188-1191}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1983.1676180}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Security Information Flow in Multidimensional Arrays IS - 12 SN - 0018-9340 SP1188 EP1191 EPD - 1188-1191 A1 - S.M. Kramer, A1 - D.P. Sidhu, PY - 1983 KW - specification KW - Array KW - explicit flows KW - implicit flows KW - information flow security analysis KW - lattice KW - security levels KW - security model KW - security policy VL - 32 JA - IEEE Transactions on Computers ER - | |||
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.

