主页 / 攻击检测 / Automatic Verification of String Manipulating Programs
  • 作者
    Fang Yu
  • 简介

    Overview

    • Motivation
    • Is it Vulnerable?

    Symbolic String Verification

    • Verification Framework
    • Technical Details
    • Experiments

    Composite Verification

    • String Analysis + Size Analysis
    • Length Automata
    • Experiments

    References

    We investigate string verification problem and present an automata-based approach for automatic verification of string manipulating programs based on symbolic string analysis. String analysis plays an important role in the security area. For instance, one can detect various web vulnerabilities like SQL Command Injection and Cross Site Scripting (XSS) attacks.

  • 提示
    本站仅做资料的整理和索引,转载引用请注明出处
附件下载
  • Automatic.Verification.of.String.Manipulating.Programs.pdf
    时间: 大小: 7.06 M 下载: 41