[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 - Information flow security of multi-threaded distributed programs
- 作者Focardi, Riccardo; Centenaro, Matteo
- 文件大小246.96KB
- 发表时间2008
- DOI10.1145/1375696.1375711
[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 - Static path conditions for JavaHammer, Christian; Schaade, Rüdiger; Snelting, Gregor · 2008
[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 - Resource bound analysis for database queriesCheney, James; Dahl, Morten · 2008
[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 policiesSwamy, Nikhil; Hicks, Michael · 2008
[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 - Dominator-tree analysis for distributed authorizationMowbray, Miranda; Lain, Antonio · 2008
[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 - Securing nonintrusive web encryption through information flowZheng, Lantian; Myers, Andrew C. · 2008
[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 - Aspect-oriented in-lined reference monitorsHamlen, Kevin W.; Jones, Micah · 2008
[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 - Simulating midlet's security claims with automata modulo theoryMassacci, Fabio; Siahaan, Ida S. R. · 2008