FRINK Linked Data Fragments server

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

• W2104658241 endingPage "1252" @default.
• W2104658241 startingPage "1207" @default.
• W2104658241 abstract "Information flow policies are confidentiality policies that control information leakage through program execution. A common way to enforce secure information flow is through information flow type systems. Although type systems are compositional and usually enjoy decidable type checking or inference, their extensibility is very poor: type systems need to be redefined and proved sound for each new variation of security policy and programming language for which secure information flow verification is desired. In contrast, program logics offer a general mechanism for enforcing a variety of safety policies, and for this reason are favoured in Proof Carrying Code, which is a promising security architecture for mobile code. However, the encoding of information flow policies in program logics is not straightforward because they refer to a relation between two program executions. The purpose of this paper is to investigate logical formulations of secure information flow based on the idea of self-composition, which reduces the problem of secure information flow of a program P to a safety property for a program derived from P by composing P with a renaming of itself. Self-composition enables the use of standard techniques for information flow policy verification, such as program logics and model checking, that are suitable in Proof Carrying Code infrastructures. We illustrate the applicability of self-composition in several settings, including different security policies such as non-interference and controlled forms of declassification, and programming languages including an imperative language with parallel composition, a non-deterministic language and, finally, a language with shared mutable data structures." @default.
• W2104658241 created "2016-06-24" @default.
• W2104658241 creator A5015166077 @default.
• W2104658241 creator A5059610025 @default.
• W2104658241 creator A5087729716 @default.
• W2104658241 date "2011-10-27" @default.
• W2104658241 modified "2023-10-09" @default.
• W2104658241 title "Secure information flow by self-composition" @default.
• W2104658241 cites W1492585812 @default.
• W2104658241 cites W1506588809 @default.
• W2104658241 cites W1522079290 @default.
• W2104658241 cites W1586448612 @default.
• W2104658241 cites W1819958245 @default.
• W2104658241 cites W1986681115 @default.
• W2104658241 cites W1993302007 @default.
• W2104658241 cites W1996228525 @default.
• W2104658241 cites W2030762383 @default.
• W2104658241 cites W2048172473 @default.
• W2104658241 cites W2075350371 @default.
• W2104658241 cites W2109225219 @default.
• W2104658241 cites W2113660296 @default.
• W2104658241 cites W2115974895 @default.
• W2104658241 cites W2116236474 @default.
• W2104658241 cites W2117189826 @default.
• W2104658241 cites W2122049982 @default.
• W2104658241 cites W2129278597 @default.
• W2104658241 cites W2139799388 @default.
• W2104658241 cites W2149996206 @default.
• W2104658241 cites W2150174204 @default.
• W2104658241 cites W2162068275 @default.
• W2104658241 cites W2173102238 @default.
• W2104658241 cites W2987907651 @default.
• W2104658241 cites W3023908054 @default.
• W2104658241 doi "https://doi.org/10.1017/s0960129511000193" @default.
• W2104658241 hasPublicationYear "2011" @default.
• W2104658241 type Work @default.
• W2104658241 sameAs 2104658241 @default.
• W2104658241 citedByCount "95" @default.
• W2104658241 countsByYear W21046582412013 @default.
• W2104658241 countsByYear W21046582412014 @default.
• W2104658241 countsByYear W21046582412015 @default.
• W2104658241 countsByYear W21046582412016 @default.
• W2104658241 countsByYear W21046582412017 @default.
• W2104658241 countsByYear W21046582412018 @default.
• W2104658241 countsByYear W21046582412019 @default.
• W2104658241 countsByYear W21046582412020 @default.
• W2104658241 countsByYear W21046582412021 @default.
• W2104658241 countsByYear W21046582412022 @default.
• W2104658241 countsByYear W21046582412023 @default.
• W2104658241 crossrefType "journal-article" @default.
• W2104658241 hasAuthorship W2104658241A5015166077 @default.
• W2104658241 hasAuthorship W2104658241A5059610025 @default.
• W2104658241 hasAuthorship W2104658241A5087729716 @default.
• W2104658241 hasBestOaLocation W21046582412 @default.
• W2104658241 hasConcept C138885662 @default.
• W2104658241 hasConcept C153269930 @default.
• W2104658241 hasConcept C154908896 @default.
• W2104658241 hasConcept C154945302 @default.
• W2104658241 hasConcept C198370458 @default.
• W2104658241 hasConcept C199360897 @default.
• W2104658241 hasConcept C2776214188 @default.
• W2104658241 hasConcept C2779136372 @default.
• W2104658241 hasConcept C38652104 @default.
• W2104658241 hasConcept C41008148 @default.
• W2104658241 hasConcept C41895202 @default.
• W2104658241 hasConcept C80444323 @default.
• W2104658241 hasConcept C98183937 @default.
• W2104658241 hasConceptScore W2104658241C138885662 @default.
• W2104658241 hasConceptScore W2104658241C153269930 @default.
• W2104658241 hasConceptScore W2104658241C154908896 @default.
• W2104658241 hasConceptScore W2104658241C154945302 @default.
• W2104658241 hasConceptScore W2104658241C198370458 @default.
• W2104658241 hasConceptScore W2104658241C199360897 @default.
• W2104658241 hasConceptScore W2104658241C2776214188 @default.
• W2104658241 hasConceptScore W2104658241C2779136372 @default.
• W2104658241 hasConceptScore W2104658241C38652104 @default.
• W2104658241 hasConceptScore W2104658241C41008148 @default.
• W2104658241 hasConceptScore W2104658241C41895202 @default.
• W2104658241 hasConceptScore W2104658241C80444323 @default.
• W2104658241 hasConceptScore W2104658241C98183937 @default.
• W2104658241 hasIssue "6" @default.
• W2104658241 hasLocation W21046582411 @default.
• W2104658241 hasLocation W21046582412 @default.
• W2104658241 hasOpenAccess W2104658241 @default.
• W2104658241 hasPrimaryLocation W21046582411 @default.
• W2104658241 hasRelatedWork W1514244613 @default.
• W2104658241 hasRelatedWork W1980767016 @default.
• W2104658241 hasRelatedWork W2122356538 @default.
• W2104658241 hasRelatedWork W2225873397 @default.
• W2104658241 hasRelatedWork W2382550647 @default.
• W2104658241 hasRelatedWork W2494046766 @default.
• W2104658241 hasRelatedWork W2951545071 @default.
• W2104658241 hasRelatedWork W2952103817 @default.
• W2104658241 hasRelatedWork W2963724868 @default.
• W2104658241 hasRelatedWork W4301253215 @default.
• W2104658241 hasVolume "21" @default.
• W2104658241 isParatext "false" @default.
• W2104658241 isRetracted "false" @default.

• next