To main content

Maintaining Information Flow Security under Refinement and Transformation

Abstract

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

Category

Report

Client

  • SINTEF AS / 40332800

Language

English

Author(s)

Affiliation

  • SINTEF Digital / Software and Service Innovation

Year

2006

Publisher

SINTEF

Issue

A311

ISBN

8214040388

View this publication at Cristin