![](/img/cover-not-exists.png)
[IEEE 2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing - Brisbane, Australia (2009.07.7-2009.07.9)] 2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing - Secure Information Flow by Model Checking Pushdown System
Sun, Cong, Tang, Liyong, Chen, ZhongYear:
2009
Language:
english
DOI:
10.1109/uic-atc.2009.44
File:
PDF, 367 KB
english, 2009