Information Flow Property Preserving Transformation of UML Intraction Diagrams
Research report
![Thumbnail](/sintef-xmlui/bitstream/handle/11250/2387723/SINTEF%2bA155.pdf.jpg?sequence=6&isAllowed=y)
View/ Open
Date
2006Metadata
Show full item recordCollections
- Publikasjoner fra CRIStin - SINTEF AS [5801]
- SINTEF Digital [2501]
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
-