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.
|Place of Publication||Kgs. Lyngby|
|Publisher||Technical University of Denmark, DTU Informatics, Building 321|
|Publication status||Published - 2010|