Modeling security as a dependability attribute: a refinement-based approach

Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed. Modeling security as a dependability attribute: a refinement-based approach. ISSE, 2(1):39-48, 2006. [doi]

Abstract

Abstract is missing.