Maintaining Information Flow Security under Refinement and Transformation
Research report
Permanent lenke
http://hdl.handle.net/11250/2387688Utgivelsesdato
2006Metadata
Vis full innførselSamlinger
- Publikasjoner fra CRIStin - SINTEF AS [5638]
- SINTEF Digital [2381]
Originalversjon
SINTEF Rapport A311, 24+1 p. SINTEF, 2006Sammendrag
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.
Oppdragsgiver: Forskningsrådet
Beskrivelse
-