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
T3 - IMM-Technical Report-2010-09
BT - Verification Based on Set-Abstraction Using the AIF Framework
PB - Technical University of Denmark, DTU Informatics, Building 321
CY - Kgs. Lyngby
ER -