Paper Info
Title
Information flow property preserving transformation of UML interaction diagrams
Abstract
We 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.
Year
DOI
Venue
2006
10.1145/1133058.1133080
SACMAT
Keywords
Field
DocType
secure information flow property,uml interaction diagram,practical value,interaction diagram,explicit nondeterminism,information flow,refinement,uml,transformation
Data mining,Information flow (information theory),Underspecification,Programming language,UML tool,Unified Modeling Language,Computer science,Theoretical computer science,Applications of UML,Semantics
Conference
ISBN
Citations 
PageRank 
1-59593-353-0
6
0.44
References 
Authors
20
2
Name
Order
Citations
PageRank
Fredrik Seehusen1598.06
Ketil Stølen266973.05