[ACM Press the 4th Eurographics workshop - Riverside, California (2007.08.02-2007.08.03)] Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling - SBIM '07 - Newton's Pen
- 作者Lee, WeeSan; de Silva, Ruwanee; Peterson, Eric J.; Calfee, Robert C.; Stahovich, Thomas F.
- 文件大小343.28KB
- 发表时间2007
- DOI10.1145/1384429.1384445
[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