• A Hybrid Approach for Proving...

*Result*: A Hybrid Approach for Proving Noninterference of Java Programs.

Title:
A Hybrid Approach for Proving Noninterference of Java Programs.
Authors:
Kusters, Ralf, Truderung, Tomasz, Beckert, Bernhard, Bruns, Daniel, Kirsten, Michael, Mohr, Martin
Source:
2015 IEEE 28th Computer Security Foundations Symposium; 2015, p305-319, 15p
Database:
Complementary Index