Certification of programs for secure information flow
Communications of the ACM
A lattice model of secure information flow
Communications of the ACM
A 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 |