Journal article icon

Journal article

Conformance Checking of Dynamic Access Control Policies

Abstract:

The capture, deployment and enforcement of appropriate access control policies are crucial aspects of many modern software-based systems. Previously, there has been a significant amount of research undertaken with respect to the formal modelling and analysis of access control policies; however, only a limited proportion of this work has been concerned with dynamic policies. In this paper we explore techniques for the modelling, analysis and subsequent deployment of such policies - which may r...

Expand abstract
Publication status:
Published

Actions


Access Document


Authors


Journal:
FORMAL METHODS AND SOFTWARE ENGINEERING
Volume:
6991
Pages:
227-242
Publication date:
2011-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
328765
Language:
English
Pubs id:
pubs:328765
UUID:
uuid:375ad92a-d5c9-45ff-a55d-32fdae0d183e
Local pid:
pubs:328765
Deposit date:
2012-12-19

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP