SODA

Compositional specification and verification of control flow based security properties of multi-application programs

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.

Abstract

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)
ID Code:3063
Deposited By:INVALID USER
Deposited On:15 Jul 2008
Last Modified:18 Nov 2009 16:17

Repository Staff Only: item control page