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

Barthe, Gilles; Gurov, Dilian; Huisman, Marieke

Enkel sökning

Avancerad sökning

Statistik

Ändra sökning

Permanent länk

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

Direktlänk

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

Referera

Referensformat

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

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat 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 (Engelska)Ingår i: Proceedings of the Workshop on Formal Techniques for Java Programs (FTfJP), 18 June 2001, Budapest, Hungary, 2001, 1Konferensbidrag, Publicerat paper (Refereegranskat)

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.

Ort, förlag, år, upplaga, sidor

2001, 1.

Nationell ämneskategori

Data- och informationsvetenskap

Identifikatorer

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

Konferens

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

Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2018-01-14Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Av organisationen

SICS

I ämnet