Cristin-resultat-ID: 1273737
Sist endret: 24. september 2015, 21:29
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2007

Maintaining information flow security under refinement and transformation

Bidragsytere:
  • Fredrik Seehusen og
  • Ketil Stølen

Bok

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2007
Hefte: 4691
Sider: 143 - 157
ISBN:
  • 9783540752264

Importkilder

SINTEF AS-ID: S4223

Beskrivelse Beskrivelse

Tittel

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

Bidragsytere

Fredrik Seehusen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS

Ketil Stølen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS
1 - 2 av 2

Resultatet er en del av Resultatet er en del av

4th International Workshop on Formal Aspects in Security and Trust (FAST'06).

2007, Springer. Vitenskapelig antologi/Konferanseserie
1 - 1 av 1