FRINK Linked Data Fragments server

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

• W2294098343 abstract "Modern operating systems increasingly rely on enforcing mandatory access control through the use of security policies. Given the critical property of policy correctness in such systems, formal methods and models are applied for both specification and verification of these policies. Due to the heterogeneity of their respective semantics, this is an intricate and error-prone engineering process. However, diverse access control systems on the one hand and diverse formal criteria of correctness on the other hand have so far impeded a unifying framework for this task. This paper presents a step towards this goal. We propose to leverage core-based model engineering, a uniform approach to security policy formalization, and refine it by adding typical semantic abstractions of contemporary policy-controlled operating systems. This results in a simple, yet highly flexible framework for formalization, specification and analysis of operating system security policies. We substantiate this claim by applying our method to the SELinux system and practically demonstrate how to map policy semantics to an instance of the model." @default.
• W2294098343 created "2016-06-24" @default.
• W2294098343 creator A5025996509 @default.
• W2294098343 date "2015-01-01" @default.
• W2294098343 modified "2023-10-04" @default.
• W2294098343 title "A Uniform Modeling Pattern for Operating Systems Access Control Policies with an Application to SELinux" @default.
• W2294098343 cites W1515933843 @default.
• W2294098343 cites W190551272 @default.
• W2294098343 cites W1981058821 @default.
• W2294098343 cites W1991895580 @default.
• W2294098343 cites W1992435849 @default.
• W2294098343 cites W1997080570 @default.
• W2294098343 cites W1997167772 @default.
• W2294098343 cites W2004592797 @default.
• W2294098343 cites W2014609883 @default.
• W2294098343 cites W2037008847 @default.
• W2294098343 cites W2040234252 @default.
• W2294098343 cites W2043835861 @default.
• W2294098343 cites W2050379150 @default.
• W2294098343 cites W2053343487 @default.
• W2294098343 cites W2053741629 @default.
• W2294098343 cites W2060690494 @default.
• W2294098343 cites W2061161497 @default.
• W2294098343 cites W2068210789 @default.
• W2294098343 cites W2070199221 @default.
• W2294098343 cites W2071717677 @default.
• W2294098343 cites W2077448915 @default.
• W2294098343 cites W2091768993 @default.
• W2294098343 cites W2108441296 @default.
• W2294098343 cites W2111753337 @default.
• W2294098343 cites W2113448398 @default.
• W2294098343 cites W2155166319 @default.
• W2294098343 cites W2163952487 @default.
• W2294098343 cites W2167911131 @default.
• W2294098343 cites W2186960180 @default.
• W2294098343 cites W226482631 @default.
• W2294098343 cites W2362831978 @default.
• W2294098343 cites W2405120356 @default.
• W2294098343 cites W2416759205 @default.
• W2294098343 cites W147220500 @default.
• W2294098343 cites W2131778843 @default.
• W2294098343 doi "https://doi.org/10.5220/0005551000880099" @default.
• W2294098343 hasPublicationYear "2015" @default.
• W2294098343 type Work @default.
• W2294098343 sameAs 2294098343 @default.
• W2294098343 citedByCount "3" @default.
• W2294098343 countsByYear W22940983432018 @default.
• W2294098343 countsByYear W22940983432021 @default.
• W2294098343 crossrefType "proceedings-article" @default.
• W2294098343 hasAuthorship W2294098343A5025996509 @default.
• W2294098343 hasBestOaLocation W22940983431 @default.
• W2294098343 hasConcept C110251889 @default.
• W2294098343 hasConcept C111498074 @default.
• W2294098343 hasConcept C115903868 @default.
• W2294098343 hasConcept C120314980 @default.
• W2294098343 hasConcept C153083717 @default.
• W2294098343 hasConcept C154908896 @default.
• W2294098343 hasConcept C154945302 @default.
• W2294098343 hasConcept C184337299 @default.
• W2294098343 hasConcept C199360897 @default.
• W2294098343 hasConcept C2777407602 @default.
• W2294098343 hasConcept C38652104 @default.
• W2294098343 hasConcept C41008148 @default.
• W2294098343 hasConcept C45567728 @default.
• W2294098343 hasConcept C527821871 @default.
• W2294098343 hasConcept C55439883 @default.
• W2294098343 hasConcept C75606506 @default.
• W2294098343 hasConcept C97686452 @default.
• W2294098343 hasConcept C98045186 @default.
• W2294098343 hasConceptScore W2294098343C110251889 @default.
• W2294098343 hasConceptScore W2294098343C111498074 @default.
• W2294098343 hasConceptScore W2294098343C115903868 @default.
• W2294098343 hasConceptScore W2294098343C120314980 @default.
• W2294098343 hasConceptScore W2294098343C153083717 @default.
• W2294098343 hasConceptScore W2294098343C154908896 @default.
• W2294098343 hasConceptScore W2294098343C154945302 @default.
• W2294098343 hasConceptScore W2294098343C184337299 @default.
• W2294098343 hasConceptScore W2294098343C199360897 @default.
• W2294098343 hasConceptScore W2294098343C2777407602 @default.
• W2294098343 hasConceptScore W2294098343C38652104 @default.
• W2294098343 hasConceptScore W2294098343C41008148 @default.
• W2294098343 hasConceptScore W2294098343C45567728 @default.
• W2294098343 hasConceptScore W2294098343C527821871 @default.
• W2294098343 hasConceptScore W2294098343C55439883 @default.
• W2294098343 hasConceptScore W2294098343C75606506 @default.
• W2294098343 hasConceptScore W2294098343C97686452 @default.
• W2294098343 hasConceptScore W2294098343C98045186 @default.
• W2294098343 hasLocation W22940983431 @default.
• W2294098343 hasOpenAccess W2294098343 @default.
• W2294098343 hasPrimaryLocation W22940983431 @default.
• W2294098343 hasRelatedWork W127849582 @default.
• W2294098343 hasRelatedWork W1595016012 @default.
• W2294098343 hasRelatedWork W1646715275 @default.
• W2294098343 hasRelatedWork W1965648291 @default.
• W2294098343 hasRelatedWork W1968469928 @default.
• W2294098343 hasRelatedWork W1969848899 @default.
• W2294098343 hasRelatedWork W2159603360 @default.
• W2294098343 hasRelatedWork W2217362902 @default.
• W2294098343 hasRelatedWork W2257977478 @default.
• W2294098343 hasRelatedWork W2406032150 @default.

• next