Position paper: A generic approach for security policies composition

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

Standard

Position paper: A generic approach for security policies composition. / Hernandez, Alejandro Mario; Nielson, Flemming.

PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery, 2012. p. Article No. 5.

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

Harvard

Hernandez, AM & Nielson, F 2012, 'Position paper: A generic approach for security policies composition'. in PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery, pp. Article No. 5., 10.1145/2336717.2336722

APA

Hernandez, A. M., & Nielson, F. (2012). Position paper: A generic approach for security policies composition. In PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . (pp. Article No. 5). Association for Computing Machinery. 10.1145/2336717.2336722

CBE

Hernandez AM, Nielson F. 2012. Position paper: A generic approach for security policies composition. In PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery. pp. Article No. 5. Available from: 10.1145/2336717.2336722

MLA

Hernandez, Alejandro Mario and Flemming Nielson "Position paper: A generic approach for security policies composition". PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery. 2012. Article No. 5. Available: 10.1145/2336717.2336722

Vancouver

Hernandez AM, Nielson F. Position paper: A generic approach for security policies composition. In PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery. 2012. p. Article No. 5. Available from: 10.1145/2336717.2336722

Author

Hernandez, Alejandro Mario; Nielson, Flemming / Position paper: A generic approach for security policies composition.

PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery, 2012. p. Article No. 5.

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

Bibtex

@inbook{344ca18e48a54c429b6d88c4aa5747a9,
title = "Position paper: A generic approach for security policies composition",
keywords = "Access control, Computer programming languages, Network security, Security systems",
publisher = "Association for Computing Machinery",
author = "Hernandez, {Alejandro Mario} and Flemming Nielson",
year = "2012",
doi = "10.1145/2336717.2336722",
isbn = "978-1-4503-1441-1",
pages = "Article No. 5",
booktitle = "PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security",

}

RIS

TY - GEN

T1 - Position paper: A generic approach for security policies composition

A1 - Hernandez,Alejandro Mario

A1 - Nielson,Flemming

AU - Hernandez,Alejandro Mario

AU - Nielson,Flemming

PB - Association for Computing Machinery

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Access control

KW - Computer programming languages

KW - Network security

KW - Security systems

U2 - 10.1145/2336717.2336722

DO - 10.1145/2336717.2336722

SN - 978-1-4503-1441-1

BT - PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security

T2 - PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security

SP - Article No. 5

ER -