FRINK Linked Data Fragments server

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

• W1683403723 abstract "We address the issue of declassification in a language-based security approach. We introduce, in a Core ML-like language with concurrent threads, a declassification mechanism that takes the form of a local flow policy declaration. The computation in the scope of such a declaration is allowed to implement information flow according to the local policy. This dynamic view of information flow policies is supported by a concrete presentation of the security lattice, where the confidentiality levels are sets of principals, similar to access control lists. To take into account declassification, and more generally dynamic flow policies, we introduce a generalization of non-interference, that we call the non-disclosure policy, and we design a type and effect system for our language that enforces this policy." @default.
• W1683403723 created "2016-06-24" @default.
• W1683403723 creator A5004932484 @default.
• W1683403723 creator A5071221220 @default.
• W1683403723 date "2005-07-06" @default.
• W1683403723 modified "2023-10-17" @default.
• W1683403723 title "On Declassification and the Non-Disclosure Policy" @default.
• W1683403723 cites W1493079268 @default.
• W1683403723 cites W1503761302 @default.
• W1683403723 cites W1538511530 @default.
• W1683403723 cites W1551753488 @default.
• W1683403723 cites W168380059 @default.
• W1683403723 cites W1739542898 @default.
• W1683403723 cites W1829244603 @default.
• W1683403723 cites W1940060540 @default.
• W1683403723 cites W1972238918 @default.
• W1683403723 cites W1977764760 @default.
• W1683403723 cites W1980939032 @default.
• W1683403723 cites W1993302007 @default.
• W1683403723 cites W1993941352 @default.
• W1683403723 cites W2001674045 @default.
• W1683403723 cites W2007999111 @default.
• W1683403723 cites W2016017569 @default.
• W1683403723 cites W2046137117 @default.
• W1683403723 cites W2048075614 @default.
• W1683403723 cites W2057503672 @default.
• W1683403723 cites W2061056245 @default.
• W1683403723 cites W2094873755 @default.
• W1683403723 cites W2099137371 @default.
• W1683403723 cites W2110904621 @default.
• W1683403723 cites W2113660296 @default.
• W1683403723 cites W2113757735 @default.
• W1683403723 cites W2116647386 @default.
• W1683403723 cites W2121739482 @default.
• W1683403723 cites W2122049982 @default.
• W1683403723 cites W2136296832 @default.
• W1683403723 cites W2141126977 @default.
• W1683403723 cites W2148973616 @default.
• W1683403723 cites W2150174204 @default.
• W1683403723 cites W2152179604 @default.
• W1683403723 cites W2154564703 @default.
• W1683403723 cites W2158126684 @default.
• W1683403723 cites W2168095934 @default.
• W1683403723 cites W2168686464 @default.
• W1683403723 cites W2168753065 @default.
• W1683403723 cites W2180221446 @default.
• W1683403723 cites W4230988461 @default.
• W1683403723 cites W4250235564 @default.
• W1683403723 cites W4253382614 @default.
• W1683403723 doi "https://doi.org/10.1109/csfw.2005.21" @default.
• W1683403723 hasPublicationYear "2005" @default.
• W1683403723 type Work @default.
• W1683403723 sameAs 1683403723 @default.
• W1683403723 citedByCount "34" @default.
• W1683403723 countsByYear W16834037232012 @default.
• W1683403723 countsByYear W16834037232013 @default.
• W1683403723 countsByYear W16834037232014 @default.
• W1683403723 countsByYear W16834037232015 @default.
• W1683403723 countsByYear W16834037232019 @default.
• W1683403723 countsByYear W16834037232020 @default.
• W1683403723 countsByYear W16834037232021 @default.
• W1683403723 countsByYear W16834037232022 @default.
• W1683403723 countsByYear W16834037232023 @default.
• W1683403723 crossrefType "proceedings-article" @default.
• W1683403723 hasAuthorship W1683403723A5004932484 @default.
• W1683403723 hasAuthorship W1683403723A5071221220 @default.
• W1683403723 hasBestOaLocation W16834037232 @default.
• W1683403723 hasConcept C134306372 @default.
• W1683403723 hasConcept C138147947 @default.
• W1683403723 hasConcept C138885662 @default.
• W1683403723 hasConcept C154908896 @default.
• W1683403723 hasConcept C177148314 @default.
• W1683403723 hasConcept C199360897 @default.
• W1683403723 hasConcept C2778012447 @default.
• W1683403723 hasConcept C2779136372 @default.
• W1683403723 hasConcept C33923547 @default.
• W1683403723 hasConcept C38652104 @default.
• W1683403723 hasConcept C41008148 @default.
• W1683403723 hasConcept C41895202 @default.
• W1683403723 hasConcept C527821871 @default.
• W1683403723 hasConcept C71745522 @default.
• W1683403723 hasConceptScore W1683403723C134306372 @default.
• W1683403723 hasConceptScore W1683403723C138147947 @default.
• W1683403723 hasConceptScore W1683403723C138885662 @default.
• W1683403723 hasConceptScore W1683403723C154908896 @default.
• W1683403723 hasConceptScore W1683403723C177148314 @default.
• W1683403723 hasConceptScore W1683403723C199360897 @default.
• W1683403723 hasConceptScore W1683403723C2778012447 @default.
• W1683403723 hasConceptScore W1683403723C2779136372 @default.
• W1683403723 hasConceptScore W1683403723C33923547 @default.
• W1683403723 hasConceptScore W1683403723C38652104 @default.
• W1683403723 hasConceptScore W1683403723C41008148 @default.
• W1683403723 hasConceptScore W1683403723C41895202 @default.
• W1683403723 hasConceptScore W1683403723C527821871 @default.
• W1683403723 hasConceptScore W1683403723C71745522 @default.
• W1683403723 hasLocation W16834037231 @default.
• W1683403723 hasLocation W16834037232 @default.
• W1683403723 hasOpenAccess W1683403723 @default.
• W1683403723 hasPrimaryLocation W16834037231 @default.
• W1683403723 hasRelatedWork W1683403723 @default.

• next