An Axiomatic Approach to Information Flow in Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Certification of programs for secure information flow
Communications of the ACM
A lattice model of secure information flow
Communications of the ACM
Proving multilevel security of a system design
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A note on information flow into arrays
ACM SIGSOFT Software Engineering Notes
Embellishments to the note on information flow into arrays
ACM SIGSOFT Software Engineering Notes
Hi-index | 14.98 |
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