Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1267990
Sist endret:
27. april 2016, 11:00
Resultat
Rapport
2006
Information Flow Property Preserving Transformation of UML Intraction Diagrams
Fredrik Seehusen
og
Ketil Stølen
Utgiver/serie
Utgiver/serie
Utgiver
SINTEF
Serie
SINTEF Rapport
ISSN 1504-9795
Om resultatet
Om resultatet
Rapport
Publiseringsår: 2006
Hefte: A155
Antall sider: 17
Open Access
Lenker
Lenker
Institusjonsarkiv
hdl.handle.net/11250/2387723
Importkilder
Importkilder
SINTEF AS-ID: A155
Beskrivelse
Beskrivelse
Engelsk
Tittel
Information Flow Property Preserving Transformation of UML Intraction Diagrams
Sammendrag
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
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
Fredrik Seehusen
Forfatter
ved Sustainable Communication Technologies ved SINTEF AS
Ketil Stølen
Forfatter
ved Sustainable Communication Technologies ved SINTEF AS
1
-
2
av
2