Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299845210> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4299845210 abstract "Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resources. In this paper, we introduce a formally-defined, fully-implemented framework for specification, analysis and enforcement of attribute-based access control policies. The framework rests on FACPL, a language with a compact, yet expressive, syntax for specification of real-world access control policies and with a rigorously defined denotational semantics. The framework enables the automatic verification of properties regarding both the authorisations enforced by single policies and the relationships among multiple policies. Effectiveness and performance of the analysis rely on a semantic-preserving representation of FACPL policies in terms of SMT formulae and on the use of efficient SMT solvers. Our analysis approach explicitly addresses some crucial aspects of policy evaluation, as e.g. missing attributes, erroneous values and obligations, which are instead overlooked in other proposals. The framework is supported by Java-based tools, among which an Eclipse- based IDE offering a tailored development and analysis environment for FACPL policies and a Java library for policy enforcement. We illustrate the framework and its formal ingredients by means of an e-Health case study, while its effectiveness is assessed by means of performance stress tests and experiments on a well-established benchmark." @default.
- W4299845210 created "2022-10-03" @default.
- W4299845210 creator A5007264795 @default.
- W4299845210 creator A5033788910 @default.
- W4299845210 creator A5052765480 @default.
- W4299845210 creator A5066761763 @default.
- W4299845210 date "2016-12-29" @default.
- W4299845210 modified "2023-10-14" @default.
- W4299845210 title "A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies" @default.
- W4299845210 doi "https://doi.org/10.48550/arxiv.1612.09339" @default.
- W4299845210 hasPublicationYear "2016" @default.
- W4299845210 type Work @default.
- W4299845210 citedByCount "0" @default.
- W4299845210 crossrefType "posted-content" @default.
- W4299845210 hasAuthorship W4299845210A5007264795 @default.
- W4299845210 hasAuthorship W4299845210A5033788910 @default.
- W4299845210 hasAuthorship W4299845210A5052765480 @default.
- W4299845210 hasAuthorship W4299845210A5066761763 @default.
- W4299845210 hasBestOaLocation W42998452101 @default.
- W4299845210 hasConcept C115903868 @default.
- W4299845210 hasConcept C13280743 @default.
- W4299845210 hasConcept C154945302 @default.
- W4299845210 hasConcept C17744445 @default.
- W4299845210 hasConcept C184337299 @default.
- W4299845210 hasConcept C185798385 @default.
- W4299845210 hasConcept C199360897 @default.
- W4299845210 hasConcept C199539241 @default.
- W4299845210 hasConcept C205649164 @default.
- W4299845210 hasConcept C2775924081 @default.
- W4299845210 hasConcept C2776359362 @default.
- W4299845210 hasConcept C2779777834 @default.
- W4299845210 hasConcept C38652104 @default.
- W4299845210 hasConcept C41008148 @default.
- W4299845210 hasConcept C527821871 @default.
- W4299845210 hasConcept C548217200 @default.
- W4299845210 hasConcept C60048249 @default.
- W4299845210 hasConcept C94625758 @default.
- W4299845210 hasConcept C97686452 @default.
- W4299845210 hasConceptScore W4299845210C115903868 @default.
- W4299845210 hasConceptScore W4299845210C13280743 @default.
- W4299845210 hasConceptScore W4299845210C154945302 @default.
- W4299845210 hasConceptScore W4299845210C17744445 @default.
- W4299845210 hasConceptScore W4299845210C184337299 @default.
- W4299845210 hasConceptScore W4299845210C185798385 @default.
- W4299845210 hasConceptScore W4299845210C199360897 @default.
- W4299845210 hasConceptScore W4299845210C199539241 @default.
- W4299845210 hasConceptScore W4299845210C205649164 @default.
- W4299845210 hasConceptScore W4299845210C2775924081 @default.
- W4299845210 hasConceptScore W4299845210C2776359362 @default.
- W4299845210 hasConceptScore W4299845210C2779777834 @default.
- W4299845210 hasConceptScore W4299845210C38652104 @default.
- W4299845210 hasConceptScore W4299845210C41008148 @default.
- W4299845210 hasConceptScore W4299845210C527821871 @default.
- W4299845210 hasConceptScore W4299845210C548217200 @default.
- W4299845210 hasConceptScore W4299845210C60048249 @default.
- W4299845210 hasConceptScore W4299845210C94625758 @default.
- W4299845210 hasConceptScore W4299845210C97686452 @default.
- W4299845210 hasLocation W42998452101 @default.
- W4299845210 hasLocation W42998452102 @default.
- W4299845210 hasLocation W42998452103 @default.
- W4299845210 hasLocation W42998452104 @default.
- W4299845210 hasLocation W42998452105 @default.
- W4299845210 hasOpenAccess W4299845210 @default.
- W4299845210 hasPrimaryLocation W42998452101 @default.
- W4299845210 hasRelatedWork W1490787830 @default.
- W4299845210 hasRelatedWork W1493446239 @default.
- W4299845210 hasRelatedWork W1556422878 @default.
- W4299845210 hasRelatedWork W1631760579 @default.
- W4299845210 hasRelatedWork W1825982205 @default.
- W4299845210 hasRelatedWork W1860988706 @default.
- W4299845210 hasRelatedWork W1999512659 @default.
- W4299845210 hasRelatedWork W2017163896 @default.
- W4299845210 hasRelatedWork W2253298909 @default.
- W4299845210 hasRelatedWork W2528467228 @default.
- W4299845210 isParatext "false" @default.
- W4299845210 isRetracted "false" @default.
- W4299845210 workType "article" @default.