Information Flow Property Preserving Transformation of UML Intraction Diagrams
Research report
View/ Open
Date
2006Metadata
Show full item recordCollections
- Publikasjoner fra CRIStin - SINTEF AS [5583]
- SINTEF Digital [2379]
Original version
SINTEF Rapport A155, 32+2 p. SINTEF, 2006Abstract
STF90 A06030We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned by trace-semantics. The semantics is sufficiently expressive to distinguish underspecification from explicit nondeterminism. A running example is used to introduce the approach and to demonstrate that it is of practical value.
Oppdragsgiver SINTEF
Description
-