Automated Verification of Noninterference Property.

Fan Zhang, Cong Zhang, Mingdi Xu, Xiaoli Liu, Fangning Hu, Han-Chieh Chao

Browse the full ICICS paper archive.