Matches in SemOpenAlex for { <https://semopenalex.org/work/W3125441343> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3125441343 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 the specification, analysis and enforcement of attribute-based access control policies. The framework rests on FACPL, a formal language with a compact, yet expressive, syntax that permits expressing real-world access control policies. By relying on the FACPL denotational semantics, we devise a constraint formalism that uniformly represents access control policies in terms of SMT formulae, whose solvers provide effective and efficient analysis. To this aim, we introduce and formalise a set of properties that permit assessing the authorisations enforced by policies and understanding the relationships among them. Our analysis approach explicitly addresses the role of missing attributes, erroneous values and obligations, that are crucial in policy evaluation and are instead overlooked in other proposals. The framework is supported by Java-based tools that allow access control system developers to use formally-defined functionalities without requiring them to be familiar with formal methods." @default.
- W3125441343 created "2021-02-01" @default.
- W3125441343 creator A5007264795 @default.
- W3125441343 creator A5033788910 @default.
- W3125441343 creator A5052765480 @default.
- W3125441343 creator A5066761763 @default.
- W3125441343 date "2016-04-01" @default.
- W3125441343 modified "2023-10-02" @default.
- W3125441343 title "A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies" @default.
- W3125441343 hasPublicationYear "2016" @default.
- W3125441343 type Work @default.
- W3125441343 sameAs 3125441343 @default.
- W3125441343 citedByCount "1" @default.
- W3125441343 countsByYear W31254413432019 @default.
- W3125441343 crossrefType "posted-content" @default.
- W3125441343 hasAuthorship W3125441343A5007264795 @default.
- W3125441343 hasAuthorship W3125441343A5033788910 @default.
- W3125441343 hasAuthorship W3125441343A5052765480 @default.
- W3125441343 hasAuthorship W3125441343A5066761763 @default.
- W3125441343 hasConcept C115903868 @default.
- W3125441343 hasConcept C142362112 @default.
- W3125441343 hasConcept C153349607 @default.
- W3125441343 hasConcept C154945302 @default.
- W3125441343 hasConcept C177264268 @default.
- W3125441343 hasConcept C17744445 @default.
- W3125441343 hasConcept C199360897 @default.
- W3125441343 hasConcept C199539241 @default.
- W3125441343 hasConcept C2777407602 @default.
- W3125441343 hasConcept C2779777834 @default.
- W3125441343 hasConcept C38652104 @default.
- W3125441343 hasConcept C41008148 @default.
- W3125441343 hasConcept C45567728 @default.
- W3125441343 hasConcept C48814466 @default.
- W3125441343 hasConcept C527821871 @default.
- W3125441343 hasConcept C548217200 @default.
- W3125441343 hasConcept C558565934 @default.
- W3125441343 hasConcept C60048249 @default.
- W3125441343 hasConcept C73301696 @default.
- W3125441343 hasConcept C75606506 @default.
- W3125441343 hasConcept C80444323 @default.
- W3125441343 hasConcept C97686452 @default.
- W3125441343 hasConceptScore W3125441343C115903868 @default.
- W3125441343 hasConceptScore W3125441343C142362112 @default.
- W3125441343 hasConceptScore W3125441343C153349607 @default.
- W3125441343 hasConceptScore W3125441343C154945302 @default.
- W3125441343 hasConceptScore W3125441343C177264268 @default.
- W3125441343 hasConceptScore W3125441343C17744445 @default.
- W3125441343 hasConceptScore W3125441343C199360897 @default.
- W3125441343 hasConceptScore W3125441343C199539241 @default.
- W3125441343 hasConceptScore W3125441343C2777407602 @default.
- W3125441343 hasConceptScore W3125441343C2779777834 @default.
- W3125441343 hasConceptScore W3125441343C38652104 @default.
- W3125441343 hasConceptScore W3125441343C41008148 @default.
- W3125441343 hasConceptScore W3125441343C45567728 @default.
- W3125441343 hasConceptScore W3125441343C48814466 @default.
- W3125441343 hasConceptScore W3125441343C527821871 @default.
- W3125441343 hasConceptScore W3125441343C548217200 @default.
- W3125441343 hasConceptScore W3125441343C558565934 @default.
- W3125441343 hasConceptScore W3125441343C60048249 @default.
- W3125441343 hasConceptScore W3125441343C73301696 @default.
- W3125441343 hasConceptScore W3125441343C75606506 @default.
- W3125441343 hasConceptScore W3125441343C80444323 @default.
- W3125441343 hasConceptScore W3125441343C97686452 @default.
- W3125441343 hasLocation W31254413431 @default.
- W3125441343 hasOpenAccess W3125441343 @default.
- W3125441343 hasPrimaryLocation W31254413431 @default.
- W3125441343 hasRelatedWork W1124223609 @default.
- W3125441343 hasRelatedWork W1409086169 @default.
- W3125441343 hasRelatedWork W1482178196 @default.
- W3125441343 hasRelatedWork W1993715996 @default.
- W3125441343 hasRelatedWork W2008418582 @default.
- W3125441343 hasRelatedWork W2032055172 @default.
- W3125441343 hasRelatedWork W2048038716 @default.
- W3125441343 hasRelatedWork W2055213155 @default.
- W3125441343 hasRelatedWork W2057345152 @default.
- W3125441343 hasRelatedWork W2070493828 @default.
- W3125441343 hasRelatedWork W2127484948 @default.
- W3125441343 hasRelatedWork W2142760259 @default.
- W3125441343 hasRelatedWork W2169354977 @default.
- W3125441343 hasRelatedWork W2518098876 @default.
- W3125441343 hasRelatedWork W2550483771 @default.
- W3125441343 hasRelatedWork W2602600070 @default.
- W3125441343 hasRelatedWork W2603618906 @default.
- W3125441343 hasRelatedWork W2902954033 @default.
- W3125441343 hasRelatedWork W2949757080 @default.
- W3125441343 hasRelatedWork W2984107614 @default.
- W3125441343 isParatext "false" @default.
- W3125441343 isRetracted "false" @default.
- W3125441343 magId "3125441343" @default.
- W3125441343 workType "article" @default.