Til hovedinnhold
Norsk English

Maintaining information flow security under refinement and transformation

Sammendrag

We address the problem of maintaining information flow security under refinement and transformation. To this end we define a schema for the specification of secure information flow properties and show that all security properties defined in the schema are preserved by a notion of refinement. Refinement is a process that requires human guidance and is in general not subject for automation. A transformation on the other hand, is an executable function mapping specifications to specifications. We define an interpretation of transformations and propose a condition under which transformations maintain security

Kategori

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Språk

Engelsk

Forfatter(e)

  • Fredrik Seehusen
  • Ketil Stølen

Institusjon(er)

  • SINTEF Digital / Sustainable Communication Technologies

År

2007

Forlag

Springer

Bok

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Hefte nr.

4691

ISBN

978-3-540-75226-4

Side(r)

143 - 157

Vis denne publikasjonen hos Cristin