Til hovedinnhold

Maintaining information flow security under refinement and transformation

Maintaining information flow security under refinement and transformation

Kategori
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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
Språk
Engelsk
Forfatter(e)
Institusjon(er)
  • SINTEF Digital / Software and Service Innovation
År
Forlag
Springer
Bok
4th International Workshop on Formal Aspects in Security and Trust (FAST'06)
Hefte nr.
4691
ISBN
9783540752264
Side(r)
143 - 157