FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585890653> ?p ?o ?g. }

• W1585890653 abstract "Model-checking is a popular approach to the security analysis of ARBAC policies, but its effectiveness is hindered by the exponential explosion of the ways in which different users can be assigned to different role combinations. In this paper we propose a paradigm shift, based on the observation that, while verifying ARBAC by exhaustive state search is complex, realistic policies often have rather simple security proofs, and we propose to use types as an effective tool to leverage this simplicity. Concretely, we present a static type system to verify the security of ARBAC policies, along with a sound and complete type inference algorithm used to automate the verification process. We then introduce compositionality results, which identify sufficient conditions to preserve the security guarantees obtained by the verification of different sub-policies when these sub-policies are combined together: this compositional reasoning is crucial when policy administration is highly distributed and naturally supports the security analysis of evolving ARBAC policies. We evaluate our approach by implementing TAPA, a static analyser for ARBAC policies based on our theory, which we test on a number of relatively large, publicly available policies from the literature." @default.
• W1585890653 created "2016-06-24" @default.
• W1585890653 creator A5051514881 @default.
• W1585890653 creator A5077037306 @default.
• W1585890653 creator A5084675121 @default.
• W1585890653 date "2015-07-01" @default.
• W1585890653 modified "2023-10-03" @default.
• W1585890653 title "Compositional Typed Analysis of ARBAC Policies" @default.
• W1585890653 cites W131414521 @default.
• W1585890653 cites W1502486458 @default.
• W1585890653 cites W1572536035 @default.
• W1585890653 cites W1594783407 @default.
• W1585890653 cites W1792109404 @default.
• W1585890653 cites W1975156286 @default.
• W1585890653 cites W1975584929 @default.
• W1585890653 cites W1977050837 @default.
• W1585890653 cites W1981023347 @default.
• W1585890653 cites W1982470463 @default.
• W1585890653 cites W1998568597 @default.
• W1585890653 cites W2004048608 @default.
• W1585890653 cites W2006138892 @default.
• W1585890653 cites W2031606427 @default.
• W1585890653 cites W2044968788 @default.
• W1585890653 cites W2048056473 @default.
• W1585890653 cites W2049595656 @default.
• W1585890653 cites W2057345152 @default.
• W1585890653 cites W2110076463 @default.
• W1585890653 cites W2113080162 @default.
• W1585890653 cites W2131242159 @default.
• W1585890653 cites W2140730933 @default.
• W1585890653 cites W2143492458 @default.
• W1585890653 cites W2152053098 @default.
• W1585890653 cites W2153746932 @default.
• W1585890653 cites W2154765153 @default.
• W1585890653 cites W2155266873 @default.
• W1585890653 cites W2211424907 @default.
• W1585890653 cites W366358706 @default.
• W1585890653 doi "https://doi.org/10.1109/csf.2015.10" @default.
• W1585890653 hasPublicationYear "2015" @default.
• W1585890653 type Work @default.
• W1585890653 sameAs 1585890653 @default.
• W1585890653 citedByCount "3" @default.
• W1585890653 countsByYear W15858906532016 @default.
• W1585890653 countsByYear W15858906532018 @default.
• W1585890653 countsByYear W15858906532022 @default.
• W1585890653 crossrefType "proceedings-article" @default.
• W1585890653 hasAuthorship W1585890653A5051514881 @default.
• W1585890653 hasAuthorship W1585890653A5077037306 @default.
• W1585890653 hasAuthorship W1585890653A5084675121 @default.
• W1585890653 hasBestOaLocation W15858906531 @default.
• W1585890653 hasConcept C108710211 @default.
• W1585890653 hasConcept C111472728 @default.
• W1585890653 hasConcept C111498074 @default.
• W1585890653 hasConcept C121375916 @default.
• W1585890653 hasConcept C138885662 @default.
• W1585890653 hasConcept C153083717 @default.
• W1585890653 hasConcept C154908896 @default.
• W1585890653 hasConcept C154945302 @default.
• W1585890653 hasConcept C198370458 @default.
• W1585890653 hasConcept C199360897 @default.
• W1585890653 hasConcept C202973057 @default.
• W1585890653 hasConcept C2524010 @default.
• W1585890653 hasConcept C2776214188 @default.
• W1585890653 hasConcept C2776372474 @default.
• W1585890653 hasConcept C2780586882 @default.
• W1585890653 hasConcept C2780654840 @default.
• W1585890653 hasConcept C29983905 @default.
• W1585890653 hasConcept C33923547 @default.
• W1585890653 hasConcept C38652104 @default.
• W1585890653 hasConcept C41008148 @default.
• W1585890653 hasConcept C527648132 @default.
• W1585890653 hasConcept C62913178 @default.
• W1585890653 hasConcept C80444323 @default.
• W1585890653 hasConcept C97686452 @default.
• W1585890653 hasConcept C98045186 @default.
• W1585890653 hasConcept C98183937 @default.
• W1585890653 hasConceptScore W1585890653C108710211 @default.
• W1585890653 hasConceptScore W1585890653C111472728 @default.
• W1585890653 hasConceptScore W1585890653C111498074 @default.
• W1585890653 hasConceptScore W1585890653C121375916 @default.
• W1585890653 hasConceptScore W1585890653C138885662 @default.
• W1585890653 hasConceptScore W1585890653C153083717 @default.
• W1585890653 hasConceptScore W1585890653C154908896 @default.
• W1585890653 hasConceptScore W1585890653C154945302 @default.
• W1585890653 hasConceptScore W1585890653C198370458 @default.
• W1585890653 hasConceptScore W1585890653C199360897 @default.
• W1585890653 hasConceptScore W1585890653C202973057 @default.
• W1585890653 hasConceptScore W1585890653C2524010 @default.
• W1585890653 hasConceptScore W1585890653C2776214188 @default.
• W1585890653 hasConceptScore W1585890653C2776372474 @default.
• W1585890653 hasConceptScore W1585890653C2780586882 @default.
• W1585890653 hasConceptScore W1585890653C2780654840 @default.
• W1585890653 hasConceptScore W1585890653C29983905 @default.
• W1585890653 hasConceptScore W1585890653C33923547 @default.
• W1585890653 hasConceptScore W1585890653C38652104 @default.
• W1585890653 hasConceptScore W1585890653C41008148 @default.
• W1585890653 hasConceptScore W1585890653C527648132 @default.
• W1585890653 hasConceptScore W1585890653C62913178 @default.
• W1585890653 hasConceptScore W1585890653C80444323 @default.
• W1585890653 hasConceptScore W1585890653C97686452 @default.

• next