ANALYSIS AND VERIFICATION OF XACML POLICIES IN A MEDICAL CLOUD ENVIRONMENT.

TitreANALYSIS AND VERIFICATION OF XACML POLICIES IN A MEDICAL CLOUD ENVIRONMENT.
Publication TypeJournal Article
Year of Publication2016
AuthorsAyache, M, Erradi, M, Khoumsi, A, Freisleben, B
JournalScalable Computing: Practice & Experience
Volume17
Pagination189 - 205
ISSN18951767
Mots-clésAutomata, Cloud computing, Completeness, Data security, Formal Verification, Information storage & retrieval systems – Medical care, Security Anomaly Detection, XACML Policies
Abstract

The connectivity of devices, machines and people via Cloud infrastructure can support collaborations among doctors and specialists from different medical organisations. Such collaborations may lead to data sharing and joint tasks and activities. Hence, the collaborating organisations are responsible for managing and protecting data they share. Therefore, they should define a set of access control policies regulating the exchange of data they own. However, existing Cloud services do not offer tools to analyse these policies. In this paper, we propose a Cloud Policy Verification Service (CPVS) for the analysis and the verification of access control policies specified using XACML. The analysis process detects anomalies at two policy levels: a) intra-policy: detects discrepancies between rules within a single security policy (conflicting rules and redundancies), and b) interpolicies: detects anomalies between several security policies such as inconsistency and similarity. The verification

URLhttp://search.ebscohost.com/login.aspx?direct=true&db=iih&AN=117149901&site=ehost-live
Revues: 

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:302,108
    Education - This is a contributing Drupal Theme
    Design by WeebPal.