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

Barthe, Gilles; Gurov, Dilian; Huisman, Marieke

System disruptions

We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.

Simple search

Advanced search

Statistics

English Svenska Norsk

Change search

Cite ExportLink to record

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

Cite

Citation style

apa
ieee
modern-language-association-8th-edition
vancouver
Other style

More styles

Language

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale

More languages

Output format

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, ICT, SICS.

Huisman, Marieke

2001 (English)In: Proceedings of the Workshop on Formal Techniques for Java Programs (FTfJP), 18 June 2001, Budapest, Hungary, 2001, 1Conference paper, Published paper (Refereed)

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.

Place, publisher, year, edition, pages

2001, 1.

National Category

Computer and Information Sciences

Identifiers

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

Conference

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

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

By organisation

SICS

On the subject