Towards alignment of architectural domains in security policy specifications

V. Nunes Leal Franqueira, Pascal van Eck

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    28 Downloads (Pure)


    Large organizations need to align the security architecture across three different domains: access control, network layout and physical infrastructure. Security policy specification formalisms are usually dedicated to only one or two of these domains. Consequently, more than one policy has to be maintained, leading to alignment problems. Approaches from the area of model-driven security enable creating graphical models that span all three domains, but these models do not scale well in real-world scenarios with hundreds of applications and thousands of user roles. In this paper, we demonstrate the feasibility of aligning all three domains in a single enforceable security policy expressed in a Prolog-based formalism by using the Law Governed Interaction (LGI) framework. Our approach alleviates the limitations of policy formalisms that are domain-specific while helping to reach scalability by automatic enforcement provided by LGI.
    Original languageUndefined
    Title of host publicationProccedings of the 8th International Symposium on System and Information Security
    EditorsJ.M. Parente de Oliveira, C.B. Westphall, J.C. Brustoloni
    Place of PublicationBrazil
    PublisherFundacao Casimiro Montenegro Filho - CTA/ITA
    Number of pages9
    ISBN (Print)85-87978-13-6
    Publication statusPublished - 8 Nov 2006

    Publication series

    PublisherFundacao Casimiro Montenegro Filho - CTA/ITA


    • EWI-7542
    • SCS-Services
    • METIS-238229
    • IR-66512

    Cite this