[ACM Press Papers from the international symposium - Berkeley, California, United States (1992.07.27-1992.07.29)] Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 - Homogeneous decomposition of polynomials
- 作者Weiß, Jürgen
- 文件大小481.80KB
- 发表时间1992
- DOI10.1145/143242.143296
- 页码146-151
[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