Corpus ID: 17696607

Using Dynamic Data-Flow Analysis to Improve Software Security

  title={Using Dynamic Data-Flow Analysis to Improve Software Security},
  author={C. Lin},
  • C. Lin
  • Published 2005
  • The security community has proposed various techniques, su ch as honeypots and inline reference monitors (IRM), for improving software security. Unfortunately, these techniqu es are typically difficult to implement, relying either on ex t nsive manual effort or tedious, error prone low-level programmin g. This project extends our previous work with the Broadway system to provide an effective way of building such security tools. Our solution uses Broadway’s existing annotation language to… CONTINUE READING


    Detecting Errors with Configurable Whole-program Dataflow Analysis
    • 17
    • PDF
    JFlow: practical mostly-static information flow control
    • 1,164
    • PDF
    IRM enforcement of Java stack inspection
    • 350
    • PDF
    Error checking with client-driven pointer analysis
    • 45
    • PDF
    Honeypot forensics
    • 26
    Client-Driven Pointer Analysis
    • 102
    • PDF
    Detection of Data Flow Anomaly Through Program Instrumentation
    • J. Huang
    • Computer Science
    • IEEE Transactions on Software Engineering
    • 1979
    • 89
    • PDF
    The Honeynet Project: Trapping the Hackers
    • 288
    • PDF
    Guyer and Calvin Lin . Error checking with clientdriven pointer analysis
    • 2005
    Guyer and Calvin Lin . Clientdriven pointer analysis