| Document Date: 2011-12-01 11:57:54
Open Document File Size: 498,18 KBShare Result on Facebook
Company MySQL / / IndustryTerm software design / to most network / application software stacks / control web application behaviour / cryptographic protocols / defense tools / form-urlencoded media / Internet protocols / web browsers / Internet security experience / Formal software verification / code generation tools / software quality assurance / software auditing techniques / computers and modern software / detection tools / networked computer systems / finite-state concurrent systems / code auditing / security protocols / malicious algorithms / target applications / / Person Sergey Bratus / Anna Shubina / Michael E. Locasto / Meredith L. Patterson / Claude Shannon / / Position Javascript interpreter / block-diagram model / system designer / interpreter / / Product SQL injection / Injection Attacks Injection / / ProgrammingLanguage Perl / SQL / PHP / Javascript / / Technology PHP / finite state machine / API / HTTP / Internet protocols / security protocols / DOM / IPv4 / Perl / PDF / XSLT / network protocols / /
SocialTag |
Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina