dc.contributor.author | Seehusen, Fredrik | |
dc.contributor.author | Stølen, Ketil | |
dc.date.accessioned | 2016-04-27T09:46:23Z | |
dc.date.accessioned | 2016-04-28T06:56:23Z | |
dc.date.available | 2016-04-27T09:46:23Z | |
dc.date.available | 2016-04-28T06:56:23Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | SINTEF Rapport A311, 24+1 p. SINTEF, 2006 | nb_NO |
dc.identifier.isbn | 8214040388 | |
dc.identifier.uri | http://hdl.handle.net/11250/2387688 | |
dc.description | - | nb_NO |
dc.description.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 | nb_NO |
dc.language.iso | eng | nb_NO |
dc.title | Maintaining Information Flow Security under Refinement and Transformation | nb_NO |
dc.type | Research report | nb_NO |
dc.date.updated | 2016-04-27T09:46:23Z | |
dc.identifier.cristin | 1268943 | |
dc.relation.project | Stiftelsen SINTEF: 40332800 | nb_NO |