dc.contributor.author | Seehusen, Fredrik | |
dc.contributor.author | Stølen, Ketil | |
dc.date.accessioned | 2016-04-27T09:15:51Z | |
dc.date.accessioned | 2016-04-28T07:43:38Z | |
dc.date.available | 2016-04-27T09:15:51Z | |
dc.date.available | 2016-04-28T07:43:38Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | SINTEF Rapport A155, 32+2 p. SINTEF, 2006 | nb_NO |
dc.identifier.uri | http://hdl.handle.net/11250/2387723 | |
dc.description | - | nb_NO |
dc.description.abstract | 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 | nb_NO |
dc.language.iso | eng | nb_NO |
dc.title | Information Flow Property Preserving Transformation of UML Intraction Diagrams | nb_NO |
dc.type | Research report | nb_NO |
dc.date.updated | 2016-04-27T09:15:51Z | |
dc.identifier.cristin | 1267990 | |
dc.relation.project | Stiftelsen SINTEF: 40332800 | nb_NO |