FRINK Linked Data Fragments server

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

• W3157773480 abstract "Information flow control type systems statically restrict the propagation of sensitive data to ensure end-to-end confidentiality. The property to be shown is noninterference, asserting that an attacker cannot infer any secrets from made observations. Session types delimit the kinds of observations that can be made along a communication channel by imposing a protocol of message exchange. These protocols govern the exchange along a single channel and leave unconstrained the propagation along adjacent channels. This paper contributes an information flow control type system for linear session types. The type system stands in close correspondence with intuitionistic linear logic. Intuitionistic linear logic typing ensures that process configurations form a tree such that client processes are parent nodes and provider processes child nodes. To control the propagation of secret messages, the type system is enriched with secrecy levels and arranges these levels to be aligned with the configuration tree. Two levels are associated with every process: the maximal secrecy denoting the process' security clearance and the running secrecy denoting the highest level of secret information obtained so far. The computational semantics naturally stratifies process configurations such that higher-secrecy processes are parents of lower-secrecy ones, an invariant enforced by typing. Noninterference is stated in terms of a logical relation that is indexed by the secrecy-level-enriched session types. The logical relation contributes a novel development of logical relations for session typed languages as it considers open configurations, allowing for more nuanced equivalence statement." @default.
• W3157773480 created "2021-05-10" @default.
• W3157773480 creator A5037521041 @default.
• W3157773480 creator A5083850156 @default.
• W3157773480 creator A5087946116 @default.
• W3157773480 date "2021-04-28" @default.
• W3157773480 modified "2023-09-26" @default.
• W3157773480 title "Session Logical Relations for Noninterference" @default.
• W3157773480 cites W1264845515 @default.
• W3157773480 cites W1509279433 @default.
• W3157773480 cites W1537467263 @default.
• W3157773480 cites W1580139810 @default.
• W3157773480 cites W1580919870 @default.
• W3157773480 cites W1607623316 @default.
• W3157773480 cites W1784055113 @default.
• W3157773480 cites W1808214913 @default.
• W3157773480 cites W1941373452 @default.
• W3157773480 cites W1961998804 @default.
• W3157773480 cites W1965297988 @default.
• W3157773480 cites W1979413599 @default.
• W3157773480 cites W1993460177 @default.
• W3157773480 cites W1999420484 @default.
• W3157773480 cites W2023931614 @default.
• W3157773480 cites W2024811322 @default.
• W3157773480 cites W2025260761 @default.
• W3157773480 cites W2036635102 @default.
• W3157773480 cites W2042924775 @default.
• W3157773480 cites W2053383660 @default.
• W3157773480 cites W2054150540 @default.
• W3157773480 cites W2054670810 @default.
• W3157773480 cites W2064964990 @default.
• W3157773480 cites W2074877666 @default.
• W3157773480 cites W2081551198 @default.
• W3157773480 cites W2100559921 @default.
• W3157773480 cites W2106396972 @default.
• W3157773480 cites W2109568634 @default.
• W3157773480 cites W2122049982 @default.
• W3157773480 cites W2123858370 @default.
• W3157773480 cites W2141535462 @default.
• W3157773480 cites W2149837936 @default.
• W3157773480 cites W2150174204 @default.
• W3157773480 cites W2153128836 @default.
• W3157773480 cites W2153557668 @default.
• W3157773480 cites W2162283517 @default.
• W3157773480 cites W2165294971 @default.
• W3157773480 cites W2223370306 @default.
• W3157773480 cites W2402424078 @default.
• W3157773480 cites W2464556723 @default.
• W3157773480 cites W2514073179 @default.
• W3157773480 cites W2555837147 @default.
• W3157773480 cites W2753352514 @default.
• W3157773480 cites W2888816318 @default.
• W3157773480 cites W2933941175 @default.
• W3157773480 cites W2963481060 @default.
• W3157773480 cites W2964256335 @default.
• W3157773480 cites W2970025840 @default.
• W3157773480 cites W3037905658 @default.
• W3157773480 cites W3091175778 @default.
• W3157773480 cites W3100105801 @default.
• W3157773480 cites W3191748134 @default.
• W3157773480 cites W776882319 @default.
• W3157773480 cites W82946149 @default.
• W3157773480 cites W882172233 @default.
• W3157773480 doi "https://doi.org/10.48550/arxiv.2104.14094" @default.
• W3157773480 hasPublicationYear "2021" @default.
• W3157773480 type Work @default.
• W3157773480 sameAs 3157773480 @default.
• W3157773480 citedByCount "0" @default.
• W3157773480 crossrefType "posted-content" @default.
• W3157773480 hasAuthorship W3157773480A5037521041 @default.
• W3157773480 hasAuthorship W3157773480A5083850156 @default.
• W3157773480 hasAuthorship W3157773480A5087946116 @default.
• W3157773480 hasBestOaLocation W31577734801 @default.
• W3157773480 hasConcept C118615104 @default.
• W3157773480 hasConcept C127162648 @default.
• W3157773480 hasConcept C136764020 @default.
• W3157773480 hasConcept C138885662 @default.
• W3157773480 hasConcept C148730421 @default.
• W3157773480 hasConcept C156103551 @default.
• W3157773480 hasConcept C160191386 @default.
• W3157773480 hasConcept C18903297 @default.
• W3157773480 hasConcept C191197275 @default.
• W3157773480 hasConcept C199360897 @default.
• W3157773480 hasConcept C25343380 @default.
• W3157773480 hasConcept C2776452267 @default.
• W3157773480 hasConcept C2777299769 @default.
• W3157773480 hasConcept C2779136372 @default.
• W3157773480 hasConcept C2779182362 @default.
• W3157773480 hasConcept C31258907 @default.
• W3157773480 hasConcept C33923547 @default.
• W3157773480 hasConcept C38652104 @default.
• W3157773480 hasConcept C41008148 @default.
• W3157773480 hasConcept C41895202 @default.
• W3157773480 hasConcept C71745522 @default.
• W3157773480 hasConcept C77088390 @default.
• W3157773480 hasConcept C80444323 @default.
• W3157773480 hasConcept C86803240 @default.
• W3157773480 hasConceptScore W3157773480C118615104 @default.
• W3157773480 hasConceptScore W3157773480C127162648 @default.
• W3157773480 hasConceptScore W3157773480C136764020 @default.

• next