To main content

Information Flow Property Preserving Transformation of UML Intraction Diagrams

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

Category

Report

Client

  • SINTEF AS / 40332800

Language

English

Author(s)

Affiliation

  • SINTEF Digital / Software and Service Innovation

Year

2006

Publisher

SINTEF

Issue

A155

View this publication at Cristin