Title :
Information flow security, abstraction and composition
Author :
Seehusen, F. ; Stolen, Ketil
Author_Institution :
SINTEF ICT, Oslo
fDate :
3/1/2009 12:00:00 AM
Abstract :
The authors present a framework that supports an incremental and modular development process of secure software systems. The framework unifies the treatment of secure information flow properties and their relationship to refinement of under specification, translation from one level of granularity to another, and composition.
Keywords :
formal specification; safety-critical software; security of data; abstraction; information flow security; modular development process; secure software system; under specification refinement;
Journal_Title :
Information Security, IET
DOI :
10.1049/iet-ifs:20080069
