What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.

Xiaowei Huang, Li Jiao, Weiming Lu

Browse the full ICICS paper archive.