Security and Safety of Computer Systems

  • Nielson, Hanne Riis (Project Participant)
  • Nielson, Flemming (Project Manager)
  • Hankin, Chris (Project Participant)
  • Jensen, Thomas (Project Participant)
  • Marlet, Renaud (Project Participant)

    Project Details


    Static analysis is a proven technology in the implementation of
    compilers and interpreters. Recent years have begun to see the
    application of static analysis techniques in novel areas such as
    software validation (for example, Ariane V) and software
    re-engineering (for example, the Y2K problem). This project will
    demonstrate that static analysis facilitates the validation of the
    security and safety of internet based computer systems.
    Effective start/end date01/12/200031/12/2002