Matches in SemOpenAlex for { <https://semopenalex.org/work/W2567113283> ?p ?o ?g. }
- W2567113283 abstract "Confinement is a security policy that restricts the outward communication of a subsystem to authorized channels. It stands at the border of mandatory and discretionary policies and can be used to implement either. In contrast to most security policies, confinement is composable. In capability-based systems, confinement is validated by a simple decision procedure on newly minted subsystems. However, there is a long-standing debate in the literature as to whether confinement is enforceable in capability-based systems. All previous attempts to demonstrate confinement have arrived at negative results, either due to flawed system models or to proof errors that have not survived inspection. This dissertation presents SDM: a formal, general, and extensible system model for a broad class of capability-based systems. SDM includes: 1) a mechanical formalization for reasoning about capability-based systems that produces a machine-checked proof of the safety problem, 2) the construction of a system-lifetime upper-bound on potential information flow based on the safety property, and 3) an embedding of the confinement test for capability-based systems and the first mechanically verified proof" @default.
- W2567113283 created "2017-01-06" @default.
- W2567113283 creator A5049154972 @default.
- W2567113283 date "2015-07-22" @default.
- W2567113283 modified "2023-09-26" @default.
- W2567113283 title "Confidence in Confinement: An Axiom-free, Mechanized Verification of Confinement in Capability-based Systems" @default.
- W2567113283 cites W1488927778 @default.
- W2567113283 cites W1508641834 @default.
- W2567113283 cites W1515052812 @default.
- W2567113283 cites W1520961854 @default.
- W2567113283 cites W1522281693 @default.
- W2567113283 cites W1534850143 @default.
- W2567113283 cites W1568755417 @default.
- W2567113283 cites W1571111507 @default.
- W2567113283 cites W1572135696 @default.
- W2567113283 cites W1604453322 @default.
- W2567113283 cites W1664998284 @default.
- W2567113283 cites W1696058307 @default.
- W2567113283 cites W1825457006 @default.
- W2567113283 cites W1888392380 @default.
- W2567113283 cites W1904738922 @default.
- W2567113283 cites W1977434720 @default.
- W2567113283 cites W1980491540 @default.
- W2567113283 cites W1996311763 @default.
- W2567113283 cites W2030514900 @default.
- W2567113283 cites W2035142022 @default.
- W2567113283 cites W2053741629 @default.
- W2567113283 cites W2056231095 @default.
- W2567113283 cites W2060468294 @default.
- W2567113283 cites W2099137371 @default.
- W2567113283 cites W2105486904 @default.
- W2567113283 cites W2106192381 @default.
- W2567113283 cites W2113350481 @default.
- W2567113283 cites W2138662592 @default.
- W2567113283 cites W2157514610 @default.
- W2567113283 cites W2162022335 @default.
- W2567113283 cites W2163347957 @default.
- W2567113283 cites W2164358678 @default.
- W2567113283 cites W2166438839 @default.
- W2567113283 cites W2167800525 @default.
- W2567113283 cites W2342083136 @default.
- W2567113283 cites W2508175320 @default.
- W2567113283 cites W2528812583 @default.
- W2567113283 cites W3096941204 @default.
- W2567113283 cites W48026871 @default.
- W2567113283 cites W6385438 @default.
- W2567113283 cites W2785260616 @default.
- W2567113283 cites W42924604 @default.
- W2567113283 hasPublicationYear "2015" @default.
- W2567113283 type Work @default.
- W2567113283 sameAs 2567113283 @default.
- W2567113283 citedByCount "1" @default.
- W2567113283 countsByYear W25671132832016 @default.
- W2567113283 crossrefType "dissertation" @default.
- W2567113283 hasAuthorship W2567113283A5049154972 @default.
- W2567113283 hasConcept C127413603 @default.
- W2567113283 hasConcept C154945302 @default.
- W2567113283 hasConcept C167729594 @default.
- W2567113283 hasConcept C199360897 @default.
- W2567113283 hasConcept C2524010 @default.
- W2567113283 hasConcept C2777212361 @default.
- W2567113283 hasConcept C32833848 @default.
- W2567113283 hasConcept C33923547 @default.
- W2567113283 hasConcept C41008148 @default.
- W2567113283 hasConcept C41608201 @default.
- W2567113283 hasConceptScore W2567113283C127413603 @default.
- W2567113283 hasConceptScore W2567113283C154945302 @default.
- W2567113283 hasConceptScore W2567113283C167729594 @default.
- W2567113283 hasConceptScore W2567113283C199360897 @default.
- W2567113283 hasConceptScore W2567113283C2524010 @default.
- W2567113283 hasConceptScore W2567113283C2777212361 @default.
- W2567113283 hasConceptScore W2567113283C32833848 @default.
- W2567113283 hasConceptScore W2567113283C33923547 @default.
- W2567113283 hasConceptScore W2567113283C41008148 @default.
- W2567113283 hasConceptScore W2567113283C41608201 @default.
- W2567113283 hasLocation W25671132831 @default.
- W2567113283 hasOpenAccess W2567113283 @default.
- W2567113283 hasPrimaryLocation W25671132831 @default.
- W2567113283 hasRelatedWork W133051671 @default.
- W2567113283 hasRelatedWork W1497364440 @default.
- W2567113283 hasRelatedWork W190771126 @default.
- W2567113283 hasRelatedWork W1908523839 @default.
- W2567113283 hasRelatedWork W2009417104 @default.
- W2567113283 hasRelatedWork W2050411875 @default.
- W2567113283 hasRelatedWork W2073988996 @default.
- W2567113283 hasRelatedWork W2121894892 @default.
- W2567113283 hasRelatedWork W2168705386 @default.
- W2567113283 hasRelatedWork W2189114194 @default.
- W2567113283 hasRelatedWork W2193747796 @default.
- W2567113283 hasRelatedWork W2378732485 @default.
- W2567113283 hasRelatedWork W2383171103 @default.
- W2567113283 hasRelatedWork W2796692218 @default.
- W2567113283 hasRelatedWork W2890457767 @default.
- W2567113283 hasRelatedWork W3017149170 @default.
- W2567113283 hasRelatedWork W422575546 @default.
- W2567113283 hasRelatedWork W64025215 @default.
- W2567113283 hasRelatedWork W2188853935 @default.
- W2567113283 hasRelatedWork W42924604 @default.
- W2567113283 isParatext "false" @default.
- W2567113283 isRetracted "false" @default.