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.
Main Research Area:
Technical University of Denmark, DTU Informatics, Building 321, 2010