A Hybrid Approach for Proving Noninterference of Java Programs | IEEE Conference Publication | IEEE Xplore