DocumentCode
1166615
Title
Information flow security, abstraction and composition
Author
Seehusen, F. ; Stolen, Ketil
Author_Institution
SINTEF ICT, Oslo
Volume
3
Issue
1
fYear
2009
fDate
3/1/2009 12:00:00 AM
Firstpage
9
Lastpage
33
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;
fLanguage
English
Journal_Title
Information Security, IET
Publisher
iet
ISSN
1751-8709
Type
jour
DOI
10.1049/iet-ifs:20080069
Filename
4785448
Link To Document