Label-guided graph exploration by a finite automaton
- 期刊名称ACM Transactions on Algorithms
- 作者Cohen, Reuven; Fraigniaud, Pierre; Ilcinkas, David; Korman, Amos; Peleg, David
- 卷第4卷
- 期第4期
- 印刷ISSN1549-6325
- 文件大小306.86KB
- 发表时间2008-08-01
- DOI10.1145/1383369.1383373
- 页码1-18
[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