Adherence preserving refinement of trace-set properties in STAIRS: Exemplified for information flow properties and policies

Category

Academic article

Language

English

Author(s)

Fredrik Seehusen
Bjørnar Solhaug
Ketil Stølen

Affiliation

University of Oslo
SINTEF
University of Bergen

Year

2009

Published in

Software and Systems Modeling (SoSyM)

ISSN

1619-1366

Publisher

Springer

Volume

8

Issue

1

Page(s)

45 - 65

DOI

https://doi.org/10.1007/s10270-008-0102-3

View this publication at Cristin