5 treff

Seehusen Fredrik
Model-driven security : exemplified for information flow properties and policies
by Fredrik Seehusen
Bok Engelsk 2009
A method for model-driven information flow security
Fredrik Seehusen and Ketil Stølen
Bok Engelsk 2009
A transformational approach to facilitate monitoring of high level policies
Fredrik Seehusen, Mass Soldal Lund and Ke...
Bok Engelsk 2009
Information flow property preserving transformation of UML interaction diagrams
Fredrik Seehusen and Ketil Stølen
Bok Engelsk 2006
Maintaining information flow security under refinement andtransformation
Fredrik Seehusen and Ketil Stølen
Bok Engelsk 2006