Cristin-resultat-ID: 1267990
Sist endret: 27. april 2016, 11:00
Resultat
Rapport
2006

Information Flow Property Preserving Transformation of UML Intraction Diagrams

Bidragsytere:
  • Fredrik Seehusen og
  • Ketil Stølen

Utgiver/serie

Utgiver

SINTEF

Serie

SINTEF Rapport
ISSN 1504-9795

Om resultatet

Rapport
Publiseringsår: 2006
Hefte: A155
Antall sider: 17
Open Access

Importkilder

SINTEF AS-ID: A155

Beskrivelse Beskrivelse

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

Bidragsytere

Fredrik Seehusen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS

Ketil Stølen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS
1 - 2 av 2