Verification Based on Set-Abstraction Using the AIF Framework

    Research output: Book/ReportReportResearch

    266 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. Kgs. Lyngby: Technical University of Denmark, DTU Informatics, Building 321. IMM-Technical Report-2010-09
    Mödersheim, Sebastian Alexander. / Verification Based on Set-Abstraction Using the AIF Framework. Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2010. (IMM-Technical Report-2010-09).
    @book{8396553e0e2148e6be5eb6f0c583e7a9,
    title = "Verification Based on Set-Abstraction Using the AIF Framework",
    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.",
    author = "M{\"o}dersheim, {Sebastian Alexander}",
    year = "2010",
    language = "English",
    publisher = "Technical University of Denmark, DTU Informatics, Building 321",

    }

    Mödersheim, SA 2010, Verification Based on Set-Abstraction Using the AIF Framework. IMM-Technical Report-2010-09, Technical University of Denmark, DTU Informatics, Building 321, Kgs. Lyngby.

    Verification Based on Set-Abstraction Using the AIF Framework. / Mödersheim, Sebastian Alexander.

    Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2010. (IMM-Technical Report-2010-09).

    Research output: Book/ReportReportResearch

    TY - RPRT

    T1 - Verification Based on Set-Abstraction Using the AIF Framework

    AU - Mödersheim, Sebastian Alexander

    PY - 2010

    Y1 - 2010

    N2 - 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.

    AB - 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.

    M3 - Report

    BT - Verification Based on Set-Abstraction Using the AIF Framework

    PB - Technical University of Denmark, DTU Informatics, Building 321

    CY - Kgs. Lyngby

    ER -

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