Information flow security, abstraction and composition
Fredrik Seehusen, Ketil Stølen · IET Information Security · 2009
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 underspecification, translation from one level of granularity to another, and composition.