Dynamic Analysis of Usage Control Policies

Yehia Elrakaiby; Jun Pang

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Dynamic Analysis of Usage Control Policies

Topics: Data Protection; Formal Methods for Security; Security and Privacy Policies; Security Verification and Validation

In Proceedings of the 11th International Conference on Security and Cryptography - Volume 0ICETE, 88-100, 2014 , Vienna, Austria

Authors: Yehia Elrakaiby ¹ and Jun Pang ²

Affiliations: ¹ Fraunhofer IESE, Germany ; ² University of Luxembourg, Luxembourg

Keyword(s): Usage Control, Access Control, Policy Analysis, Formal Verification.

Related Ontology Subjects/Areas/Topics: Data and Application Security and Privacy ; Data Protection ; Formal Methods for Security ; Information and Systems Security ; Security and Privacy Policies ; Security Verification and Validation

Abstract: Usage control extends access control by enabling the specification of requirements that should be satisfied before, while and after access. To ensure that the deployment of usage control policies in target domains achieves the required security goals, policy verification and analysis tools are needed. In this paper, we present an approach for the dynamic analysis of usage control policies using formal descriptions of target domains and their usage control policies. Our approach provides usage control management explicit labeled transition system semantics and enables the automated verification of usage control policies using model checking.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.117.192.64

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Elrakaiby, Y. and Pang, J. (2014). Dynamic Analysis of Usage Control Policies. In Proceedings of the 11th International Conference on Security and Cryptography (ICETE 2014) - SECRYPT; ISBN 978-989-758-045-1; ISSN 2184-3236, SciTePress, pages 88-100. DOI: 10.5220/0005046600880100

@conference{secrypt14,
author={Yehia Elrakaiby. and Jun Pang.},
title={Dynamic Analysis of Usage Control Policies},
booktitle={Proceedings of the 11th International Conference on Security and Cryptography (ICETE 2014) - SECRYPT},
year={2014},
pages={88-100},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005046600880100},
isbn={978-989-758-045-1},
issn={2184-3236},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Security and Cryptography (ICETE 2014) - SECRYPT
TI - Dynamic Analysis of Usage Control Policies
SN - 978-989-758-045-1
IS - 2184-3236
AU - Elrakaiby, Y.
AU - Pang, J.
PY - 2014
SP - 88
EP - 100
DO - 10.5220/0005046600880100
PB - SciTePress