Position paper: A generic approach for security policies composition

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

View graph of relations

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
StatePublished

Workshop

Workshop7th Workshop on Programming Languages and Analysis for Security (PLAS 2012)
CountryChina
CityBeijing
Period15/06/12 → …
CitationsWeb of Science® Times Cited: No match on DOI

Keywords

  • Access control, Computer programming languages, Network security, Security systems
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 12516754