[ACM Press the third ACM SIGPLAN workshop - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08 - Verified enforcement of stateful information release policies
Swamy, Nikhil; Hicks, Michael
- 作者Swamy, Nikhil; Hicks, Michael
- 文件大小233.07KB
- 发表时间2008
- DOI10.1145/1375696.1375700