Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155166319> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2155166319 abstract "We present SEAL, a language for specification and analysis of safety properties for label-based access control systems. A SEAL program represents a possibly infinite-state non-deterministic transition system describing the dynamic behavior of entities and their relevant access control operations. The features of our language are derived directly from the need to model new access control features arising from state-of-the art models in Windows 7, Asbestos, HiStar and others. We show that the reachability problem for this class of models is undecidable even for simple SEAL programs, but a bounded model-checking algorithm is able to validate interesting properties and discover relevant attacks." @default.
- W2155166319 created "2016-06-24" @default.
- W2155166319 creator A5075119069 @default.
- W2155166319 creator A5082936248 @default.
- W2155166319 date "2011-06-15" @default.
- W2155166319 modified "2023-09-26" @default.
- W2155166319 title "SEAL" @default.
- W2155166319 cites W1819209966 @default.
- W2155166319 cites W2003107385 @default.
- W2155166319 cites W2023572265 @default.
- W2155166319 cites W2038696466 @default.
- W2155166319 cites W2068231562 @default.
- W2155166319 cites W2083228150 @default.
- W2155166319 cites W2094873755 @default.
- W2155166319 cites W2105258265 @default.
- W2155166319 cites W2158812166 @default.
- W2155166319 cites W2167685423 @default.
- W2155166319 cites W4248500311 @default.
- W2155166319 doi "https://doi.org/10.1145/1998441.1998454" @default.
- W2155166319 hasPublicationYear "2011" @default.
- W2155166319 type Work @default.
- W2155166319 sameAs 2155166319 @default.
- W2155166319 citedByCount "12" @default.
- W2155166319 countsByYear W21551663192012 @default.
- W2155166319 countsByYear W21551663192013 @default.
- W2155166319 countsByYear W21551663192014 @default.
- W2155166319 countsByYear W21551663192015 @default.
- W2155166319 countsByYear W21551663192018 @default.
- W2155166319 countsByYear W21551663192019 @default.
- W2155166319 crossrefType "proceedings-article" @default.
- W2155166319 hasAuthorship W2155166319A5075119069 @default.
- W2155166319 hasAuthorship W2155166319A5082936248 @default.
- W2155166319 hasConcept C110251889 @default.
- W2155166319 hasConcept C111472728 @default.
- W2155166319 hasConcept C136643341 @default.
- W2155166319 hasConcept C138885662 @default.
- W2155166319 hasConcept C142362112 @default.
- W2155166319 hasConcept C153269930 @default.
- W2155166319 hasConcept C153349607 @default.
- W2155166319 hasConcept C154945302 @default.
- W2155166319 hasConcept C167822520 @default.
- W2155166319 hasConcept C192034797 @default.
- W2155166319 hasConcept C199360897 @default.
- W2155166319 hasConcept C2777212361 @default.
- W2155166319 hasConcept C2777755289 @default.
- W2155166319 hasConcept C2780586882 @default.
- W2155166319 hasConcept C38652104 @default.
- W2155166319 hasConcept C41008148 @default.
- W2155166319 hasConcept C48103436 @default.
- W2155166319 hasConcept C527821871 @default.
- W2155166319 hasConcept C80444323 @default.
- W2155166319 hasConceptScore W2155166319C110251889 @default.
- W2155166319 hasConceptScore W2155166319C111472728 @default.
- W2155166319 hasConceptScore W2155166319C136643341 @default.
- W2155166319 hasConceptScore W2155166319C138885662 @default.
- W2155166319 hasConceptScore W2155166319C142362112 @default.
- W2155166319 hasConceptScore W2155166319C153269930 @default.
- W2155166319 hasConceptScore W2155166319C153349607 @default.
- W2155166319 hasConceptScore W2155166319C154945302 @default.
- W2155166319 hasConceptScore W2155166319C167822520 @default.
- W2155166319 hasConceptScore W2155166319C192034797 @default.
- W2155166319 hasConceptScore W2155166319C199360897 @default.
- W2155166319 hasConceptScore W2155166319C2777212361 @default.
- W2155166319 hasConceptScore W2155166319C2777755289 @default.
- W2155166319 hasConceptScore W2155166319C2780586882 @default.
- W2155166319 hasConceptScore W2155166319C38652104 @default.
- W2155166319 hasConceptScore W2155166319C41008148 @default.
- W2155166319 hasConceptScore W2155166319C48103436 @default.
- W2155166319 hasConceptScore W2155166319C527821871 @default.
- W2155166319 hasConceptScore W2155166319C80444323 @default.
- W2155166319 hasLocation W21551663191 @default.
- W2155166319 hasOpenAccess W2155166319 @default.
- W2155166319 hasPrimaryLocation W21551663191 @default.
- W2155166319 hasRelatedWork W1560069502 @default.
- W2155166319 hasRelatedWork W1567137300 @default.
- W2155166319 hasRelatedWork W1803004510 @default.
- W2155166319 hasRelatedWork W2227507359 @default.
- W2155166319 hasRelatedWork W2761734916 @default.
- W2155166319 hasRelatedWork W2803699674 @default.
- W2155166319 hasRelatedWork W374648105 @default.
- W2155166319 hasRelatedWork W4253760428 @default.
- W2155166319 hasRelatedWork W4300163689 @default.
- W2155166319 hasRelatedWork W2615062305 @default.
- W2155166319 isParatext "false" @default.
- W2155166319 isRetracted "false" @default.
- W2155166319 magId "2155166319" @default.
- W2155166319 workType "article" @default.