Global routing revisited
Michael D. Moffitt
ICCAD 2009
The distributed nature of the environment in which privacy and security policies operate requires tools that help enforce consistency of policy rules across different domains. Furthermore, because changes to policy rules are required as policies evolve over time, such tools can be used by policy administrators to ensure the consistency of policy changes. In this paper, we describe a number of different policy analysis tools and techniques that we have developed over the years and present them in a unified framework in which both privacy and security policies are discussed. We cover dominance analyses of general policies, conflicts among authorizations and prohibitions, and other analyses of obligations, as well as policy similarity analysis and policy distribution. © Copyright 2009 by International Business Machines Corporation.
Michael D. Moffitt
ICCAD 2009
Gal Badishi, Idit Keidar, et al.
IEEE TDSC
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Bowen Zhou, Bing Xiang, et al.
SSST 2008