Security Policy Alignment: A Formal Approach

Wolter Pieters, Trajce Dimkov, Dusko Pavlovic. Security Policy Alignment: A Formal Approach. IEEE Systems Journal, 7(2):275-287, 2013. [doi]

Abstract

Abstract is missing.