Position paper: A generic approach for security policies composition

Alejandro Mario Hernandez, Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    When modelling access control in distributed systems, the problem of security policies composition arises. Much work has been done on different ways of combining policies, and using different logics to do this. In this paper, we propose a more general approach based on a 4-valued logic, that abstracts from the specific setting, and groups together many of the existing ways for combining policies. Moreover, we propose going one step further, by twisting the 4-valued logic and obtaining a more traditional approach that might therefore be more appropriate for analysis.
    Original languageEnglish
    Title of host publicationPLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
    Number of pages4
    PublisherAssociation for Computing Machinery
    Publication date2012
    PagesArticle No. 5
    ISBN (Print)978-1-4503-1441-1
    DOIs
    Publication statusPublished - 2012
    Event7th Workshop on Programming Languages and Analysis for Security (PLAS 2012) - Beijing, China
    Duration: 15 Jun 2012 → …

    Workshop

    Workshop7th Workshop on Programming Languages and Analysis for Security (PLAS 2012)
    CountryChina
    CityBeijing
    Period15/06/2012 → …

    Keywords

    • Access control
    • Computer programming languages
    • Network security
    • Security systems

    Fingerprint Dive into the research topics of 'Position paper: A generic approach for security policies composition'. Together they form a unique fingerprint.

    Cite this