Cao, Meiling, School of Computer Science and Telecommunication Engineering, Jiangsu University, China

• Vol 6, No 11 (2011) - REGULAR PAPERS
  SAT-based Algorithmic Verification of Noninterference
  Abstract  PDF