-
1Academic Journal
Συγγραφείς: Zhendong Su, Gary Wassermann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Reliability, Validation, D.3.1 [Programming Languages, Formal Definitions and Theory— Syntax, F.4.2 [Mathematical Logic and Formal Languages, Gram- mars and Other Rewriting Systems—Parsing, Grammar Types General Terms Algorithms, Experimentation, Languages, Relia- bility, Security, Verification Keywords command injection attacks, web applications, gram- mars
Περιγραφή αρχείου: application/pdf
-
2Academic Journal
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification--Reliability, Validation, D.3.1 [Programming Languages, Formal Definitions and Theory--Syntax, F.4.2 [Mathematical Logic and Formal Languages, Grammars and Other Rewriting Systems--Parsing, Grammar Types General Terms Algorithms, Experimentation, Languages, Relia-bility, Security, Verification Keywords command injection attacks, web applications, gram-mars, parsing, runtime verification
Περιγραφή αρχείου: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.7086; http://wwwcsif.cs.ucdavis.edu/~wassermg/research/popl06.ps