[ACM Press the 1st international workshop - Vancouver, British Columbia, Canada (2008.06.13-2008.06.13)] Proceedings of the 1st international workshop on Testing database systems - DBTest '08 - Multi-RQP
- 作者Binnig, Carsten; Kossmann, Donald; Lo, Eric
- 文件大小134.66KB
- 发表时间2008
- DOI10.1145/1385269.1385276
[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