Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386875785> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4386875785 abstract "We introduce a framework for reasoning about the security of computer systems using modal logic. This framework is sufficiently expressive to capture a variety of known security properties, while also being intuitive and independent of syntactic details and enforcement mechanisms. We show how to use our formalism to represent various progress- and termination-(in)sensitive variants of confidentiality, integrity, robust declassification and transparent endorsement, and prove equivalence to standard definitions. The intuitive nature and closeness to semantic reality of our approach allows us to make explicit several hidden assumptions of these definitions, and identify potential issues and subtleties with them, while also holding the promise of formulating cleaner versions and future extension to entirely novel properties." @default.
- W4386875785 created "2023-09-20" @default.
- W4386875785 creator A5073362414 @default.
- W4386875785 creator A5075445121 @default.
- W4386875785 creator A5084112562 @default.
- W4386875785 date "2023-09-18" @default.
- W4386875785 modified "2023-09-27" @default.
- W4386875785 title "Security Properties through the Lens of Modal Logic" @default.
- W4386875785 doi "https://doi.org/10.48550/arxiv.2309.09542" @default.
- W4386875785 hasPublicationYear "2023" @default.
- W4386875785 type Work @default.
- W4386875785 citedByCount "0" @default.
- W4386875785 crossrefType "posted-content" @default.
- W4386875785 hasAuthorship W4386875785A5073362414 @default.
- W4386875785 hasAuthorship W4386875785A5075445121 @default.
- W4386875785 hasAuthorship W4386875785A5084112562 @default.
- W4386875785 hasBestOaLocation W43868757851 @default.
- W4386875785 hasConcept C127413603 @default.
- W4386875785 hasConcept C134306372 @default.
- W4386875785 hasConcept C142362112 @default.
- W4386875785 hasConcept C153349607 @default.
- W4386875785 hasConcept C15336307 @default.
- W4386875785 hasConcept C17744445 @default.
- W4386875785 hasConcept C185592680 @default.
- W4386875785 hasConcept C188027245 @default.
- W4386875785 hasConcept C199539241 @default.
- W4386875785 hasConcept C202444582 @default.
- W4386875785 hasConcept C27508121 @default.
- W4386875785 hasConcept C2779545769 @default.
- W4386875785 hasConcept C2779777834 @default.
- W4386875785 hasConcept C2780069185 @default.
- W4386875785 hasConcept C33923547 @default.
- W4386875785 hasConcept C38652104 @default.
- W4386875785 hasConcept C41008148 @default.
- W4386875785 hasConcept C43091099 @default.
- W4386875785 hasConcept C558565934 @default.
- W4386875785 hasConcept C71139939 @default.
- W4386875785 hasConcept C73301696 @default.
- W4386875785 hasConcept C78762247 @default.
- W4386875785 hasConcept C80444323 @default.
- W4386875785 hasConceptScore W4386875785C127413603 @default.
- W4386875785 hasConceptScore W4386875785C134306372 @default.
- W4386875785 hasConceptScore W4386875785C142362112 @default.
- W4386875785 hasConceptScore W4386875785C153349607 @default.
- W4386875785 hasConceptScore W4386875785C15336307 @default.
- W4386875785 hasConceptScore W4386875785C17744445 @default.
- W4386875785 hasConceptScore W4386875785C185592680 @default.
- W4386875785 hasConceptScore W4386875785C188027245 @default.
- W4386875785 hasConceptScore W4386875785C199539241 @default.
- W4386875785 hasConceptScore W4386875785C202444582 @default.
- W4386875785 hasConceptScore W4386875785C27508121 @default.
- W4386875785 hasConceptScore W4386875785C2779545769 @default.
- W4386875785 hasConceptScore W4386875785C2779777834 @default.
- W4386875785 hasConceptScore W4386875785C2780069185 @default.
- W4386875785 hasConceptScore W4386875785C33923547 @default.
- W4386875785 hasConceptScore W4386875785C38652104 @default.
- W4386875785 hasConceptScore W4386875785C41008148 @default.
- W4386875785 hasConceptScore W4386875785C43091099 @default.
- W4386875785 hasConceptScore W4386875785C558565934 @default.
- W4386875785 hasConceptScore W4386875785C71139939 @default.
- W4386875785 hasConceptScore W4386875785C73301696 @default.
- W4386875785 hasConceptScore W4386875785C78762247 @default.
- W4386875785 hasConceptScore W4386875785C80444323 @default.
- W4386875785 hasLocation W43868757851 @default.
- W4386875785 hasOpenAccess W4386875785 @default.
- W4386875785 hasPrimaryLocation W43868757851 @default.
- W4386875785 hasRelatedWork W119381390 @default.
- W4386875785 hasRelatedWork W137456412 @default.
- W4386875785 hasRelatedWork W1537541219 @default.
- W4386875785 hasRelatedWork W1582247340 @default.
- W4386875785 hasRelatedWork W1587059467 @default.
- W4386875785 hasRelatedWork W2028144918 @default.
- W4386875785 hasRelatedWork W2032848199 @default.
- W4386875785 hasRelatedWork W2123710103 @default.
- W4386875785 hasRelatedWork W3016746667 @default.
- W4386875785 hasRelatedWork W4239208506 @default.
- W4386875785 isParatext "false" @default.
- W4386875785 isRetracted "false" @default.
- W4386875785 workType "article" @default.