[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Intransitive noninterference in nondeterministic systems
Engelhardt, Kai; van der Meyden, Ron; Zhang, Chenyi
- 作者Engelhardt, Kai; van der Meyden, Ron; Zhang, Chenyi
- 文件大小616.36KB
- 发表时间2012
- DOI10.1145/2382196.2382288