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

Barthe, Gilles; Gurov, Dilian; Huisman, Marieke

Endre søk

Permanent link

https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22589

Direct link

http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042154

Referera

Referensformat

apa
ieee
modern-language-association-8th-edition
vancouver
Annet format

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk

Fler språk

Utmatningsformat

html
text
asciidoc
rtf

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

Barthe, Gilles

Gurov, Dilian

RISE - Research Institutes of Sweden, IKT, SICS.

Huisman, Marieke

2001 (engelsk)Inngår i: Proceedings of the Workshop on Formal Techniques for Java Programs (FTfJP), 18 June 2001, Budapest, Hungary, 2001, 1Konferansepaper, Publicerat paper (Fagfellevurdert)

Abstract [en]

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.

sted, utgiver, år, opplag, sider

2001, 1.

HSV kategori

Identifikatorer

URN: urn:nbn:se:ri:diva-22589OAI: oai:DiVA.org:ri-22589DiVA, id: diva2:1042154

Konferanse

Workshop on Formal Techniques for Java Programs (FTfJP), 18 June 2001, Budapest, Hungary

Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2018-01-14bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Av organisasjonen

Om emnet

Søk utenfor DiVA

Google Google Scholar

urn-nbn

Totalt: 213 treff

Referera ExporteraLink to record