Barthe, Gilles and Gurov, Dilian and Huisman, Marieke (2001) Compositional specification and verification of control flow based security properties of multi-application programs. In: Proceedings of the Workshop on Formal Techniques for Java Programs (FTfJP), 18 June 2001, Budapest, Hungary.
Full text not available from this repository.
The paper presents a compositional program model of multi-application programs and sketches a framework for compositional specification and verification of temporal properties of such programs.
|Item Type:||Conference or Workshop Item (Paper)|
|Deposited By:||INVALID USER|
|Deposited On:||15 Jul 2008|
|Last Modified:||18 Nov 2009 16:17|
Repository Staff Only: item control page