Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077448915> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2077448915 abstract "Model-based security engineering uses formal security models for specifying and analyzing access control systems. Tool-based model analysis encounters a fundamental difficulty here: on the one hand, real-world access control systems generally are quite large and complex and require models that have high expressive power. On the other hand, analysis of such models is often pestered by computational complexity or even non-decidability, making it difficult to devise algorithms for automated analysis tools. One approach to this problem is to limiting the expressive power of the modeling calculus, resulting in restrictions to the spectrum of application scenarios that can be modeled. In this paper we propose a different approach: a heuristic-based method for analyzing the safety properties of access control models with full expressive power. Aiming at generality, the paper focuses on the lineage of HRU-style, automaton-based access control models that are fundamental for modeling the dynamic behavior of contemporary role-based or attribute-based access control systems." @default.
- W2077448915 created "2016-06-24" @default.
- W2077448915 creator A5025996509 @default.
- W2077448915 creator A5038007506 @default.
- W2077448915 creator A5060240615 @default.
- W2077448915 date "2013-06-12" @default.
- W2077448915 modified "2023-10-17" @default.
- W2077448915 title "Heuristic safety analysis of access control models" @default.
- W2077448915 cites W1979579813 @default.
- W2077448915 cites W1995511026 @default.
- W2077448915 cites W1998568597 @default.
- W2077448915 cites W2002597376 @default.
- W2077448915 cites W2015653806 @default.
- W2077448915 cites W2032131630 @default.
- W2077448915 cites W2037008847 @default.
- W2077448915 cites W2039589702 @default.
- W2077448915 cites W2050411875 @default.
- W2077448915 cites W2053741629 @default.
- W2077448915 cites W2060690494 @default.
- W2077448915 cites W2063727779 @default.
- W2077448915 cites W2113448398 @default.
- W2077448915 cites W2135432705 @default.
- W2077448915 cites W2143492458 @default.
- W2077448915 cites W2149153919 @default.
- W2077448915 cites W2152053098 @default.
- W2077448915 cites W2164661256 @default.
- W2077448915 cites W2166602595 @default.
- W2077448915 cites W2171934742 @default.
- W2077448915 cites W2186960180 @default.
- W2077448915 cites W4211218509 @default.
- W2077448915 doi "https://doi.org/10.1145/2462410.2462413" @default.
- W2077448915 hasPublicationYear "2013" @default.
- W2077448915 type Work @default.
- W2077448915 sameAs 2077448915 @default.
- W2077448915 citedByCount "4" @default.
- W2077448915 countsByYear W20774489152014 @default.
- W2077448915 countsByYear W20774489152015 @default.
- W2077448915 countsByYear W20774489152018 @default.
- W2077448915 countsByYear W20774489152023 @default.
- W2077448915 crossrefType "proceedings-article" @default.
- W2077448915 hasAuthorship W2077448915A5025996509 @default.
- W2077448915 hasAuthorship W2077448915A5038007506 @default.
- W2077448915 hasAuthorship W2077448915A5060240615 @default.
- W2077448915 hasConcept C110251889 @default.
- W2077448915 hasConcept C112505250 @default.
- W2077448915 hasConcept C120314980 @default.
- W2077448915 hasConcept C153269930 @default.
- W2077448915 hasConcept C154945302 @default.
- W2077448915 hasConcept C15744967 @default.
- W2077448915 hasConcept C173801870 @default.
- W2077448915 hasConcept C179603123 @default.
- W2077448915 hasConcept C199360897 @default.
- W2077448915 hasConcept C2777904410 @default.
- W2077448915 hasConcept C2780767217 @default.
- W2077448915 hasConcept C38652104 @default.
- W2077448915 hasConcept C41008148 @default.
- W2077448915 hasConcept C45567728 @default.
- W2077448915 hasConcept C527821871 @default.
- W2077448915 hasConcept C542102704 @default.
- W2077448915 hasConcept C80444323 @default.
- W2077448915 hasConceptScore W2077448915C110251889 @default.
- W2077448915 hasConceptScore W2077448915C112505250 @default.
- W2077448915 hasConceptScore W2077448915C120314980 @default.
- W2077448915 hasConceptScore W2077448915C153269930 @default.
- W2077448915 hasConceptScore W2077448915C154945302 @default.
- W2077448915 hasConceptScore W2077448915C15744967 @default.
- W2077448915 hasConceptScore W2077448915C173801870 @default.
- W2077448915 hasConceptScore W2077448915C179603123 @default.
- W2077448915 hasConceptScore W2077448915C199360897 @default.
- W2077448915 hasConceptScore W2077448915C2777904410 @default.
- W2077448915 hasConceptScore W2077448915C2780767217 @default.
- W2077448915 hasConceptScore W2077448915C38652104 @default.
- W2077448915 hasConceptScore W2077448915C41008148 @default.
- W2077448915 hasConceptScore W2077448915C45567728 @default.
- W2077448915 hasConceptScore W2077448915C527821871 @default.
- W2077448915 hasConceptScore W2077448915C542102704 @default.
- W2077448915 hasConceptScore W2077448915C80444323 @default.
- W2077448915 hasLocation W20774489151 @default.
- W2077448915 hasOpenAccess W2077448915 @default.
- W2077448915 hasPrimaryLocation W20774489151 @default.
- W2077448915 hasRelatedWork W2008239401 @default.
- W2077448915 hasRelatedWork W2038320736 @default.
- W2077448915 hasRelatedWork W2149593869 @default.
- W2077448915 hasRelatedWork W2160795275 @default.
- W2077448915 hasRelatedWork W2166969310 @default.
- W2077448915 hasRelatedWork W2766465315 @default.
- W2077448915 hasRelatedWork W2785950294 @default.
- W2077448915 hasRelatedWork W3011483940 @default.
- W2077448915 hasRelatedWork W3209871473 @default.
- W2077448915 hasRelatedWork W419990173 @default.
- W2077448915 isParatext "false" @default.
- W2077448915 isRetracted "false" @default.
- W2077448915 magId "2077448915" @default.
- W2077448915 workType "article" @default.