Information Flow Property Preserving Transformation of UML Intraction Diagrams
Research report
Permanent lenke
http://hdl.handle.net/11250/2387723Utgivelsesdato
2006Metadata
Vis full innførselSamlinger
- Publikasjoner fra CRIStin - SINTEF AS [5801]
- SINTEF Digital [2501]
Originalversjon
SINTEF Rapport A155, 32+2 p. SINTEF, 2006Sammendrag
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
Beskrivelse
-