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

Xiaowei HuangLi JiaoWeiming Lu
Published in: ICICS (2007)
Keyphrases