Certification of programs for 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
Embellishments to the note on information flow into arrays
ACM SIGSOFT Software Engineering Notes
Security Information Flow in Multidimensional Arrays
IEEE Transactions on Computers
Hi-index | 0.00 |