Verification Based on Set-Abstraction Using the AIF Framework

    Research output: Book/ReportReportResearch

    280 Downloads (Pure)

    Abstract

    The AIF framework is a novel method for analyzing advanced security protocols, web services, and APIs, based a new abstract interpretation method. It consists of the specification language AIF and a translation/abstraction processes that produces a set of first-order Horn clauses. These can then be checked with several back-ends such as SPASS. We discuss in this article how to use AIF for modeling of a variety of examples.
    Original languageEnglish
    Place of PublicationKgs. Lyngby
    PublisherTechnical University of Denmark, DTU Informatics, Building 321
    Publication statusPublished - 2010
    SeriesIMM-Technical Report-2010-09

    Cite this

    Mödersheim, S. A. (2010). Verification Based on Set-Abstraction Using the AIF Framework. Technical University of Denmark, DTU Informatics, Building 321. IMM-Technical Report-2010-09