FRINK Linked Data Fragments server

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

• W1644651122 endingPage "676" @default.
• W1644651122 startingPage "637" @default.
• W1644651122 abstract "Many computer systems have a functional requirement to release information. Such requirements are an important part of a system's information security requirements. Current information-flow control techniques are able to reason about permitted information flows, but not required information flows. In this paper, we introduce and explore the specification and enforcement of required information release in a language-based setting. We define semantic security conditions that express both what information a program is required to release, and how an observer is able to learn this information. We also consider the relationship between permitted and required information release, and define bounded release, which provides upper- and lower-bounds on the information a program releases. We show that both required information release and bounded release can be enforced using a security-type system." @default.
• W1644651122 created "2016-06-24" @default.
• W1644651122 creator A5046383149 @default.
• W1644651122 date "2012-12-14" @default.
• W1644651122 modified "2023-09-26" @default.
• W1644651122 title "Required information release1" @default.
• W1644651122 cites W1522146952 @default.
• W1644651122 cites W1594455430 @default.
• W1644651122 cites W1793910908 @default.
• W1644651122 cites W1819958245 @default.
• W1644651122 cites W1966354044 @default.
• W1644651122 cites W1977764760 @default.
• W1644651122 cites W1985022920 @default.
• W1644651122 cites W1999056706 @default.
• W1644651122 cites W2036910349 @default.
• W1644651122 cites W2040669676 @default.
• W1644651122 cites W2068189899 @default.
• W1644651122 cites W2076257053 @default.
• W1644651122 cites W2092336238 @default.
• W1644651122 cites W2096908165 @default.
• W1644651122 cites W2097833793 @default.
• W1644651122 cites W2100579696 @default.
• W1644651122 cites W2103546069 @default.
• W1644651122 cites W2106226772 @default.
• W1644651122 cites W2110012131 @default.
• W1644651122 cites W2110904621 @default.
• W1644651122 cites W2113404921 @default.
• W1644651122 cites W2116236474 @default.
• W1644651122 cites W2121381561 @default.
• W1644651122 cites W2121988324 @default.
• W1644651122 cites W2122049982 @default.
• W1644651122 cites W2126469755 @default.
• W1644651122 cites W2129278597 @default.
• W1644651122 cites W2130241416 @default.
• W1644651122 cites W2130609760 @default.
• W1644651122 cites W2145846275 @default.
• W1644651122 cites W2146819619 @default.
• W1644651122 cites W2149465027 @default.
• W1644651122 cites W2162755110 @default.
• W1644651122 cites W2165078378 @default.
• W1644651122 cites W2912325086 @default.
• W1644651122 cites W2913009136 @default.
• W1644651122 cites W2914206182 @default.
• W1644651122 cites W2524898874 @default.
• W1644651122 doi "https://doi.org/10.3233/jcs-2012-0442" @default.
• W1644651122 hasPublicationYear "2012" @default.
• W1644651122 type Work @default.
• W1644651122 sameAs 1644651122 @default.
• W1644651122 citedByCount "3" @default.
• W1644651122 countsByYear W16446511222013 @default.
• W1644651122 countsByYear W16446511222021 @default.
• W1644651122 crossrefType "journal-article" @default.
• W1644651122 hasAuthorship W1644651122A5046383149 @default.
• W1644651122 hasBestOaLocation W16446511222 @default.
• W1644651122 hasConcept C119599485 @default.
• W1644651122 hasConcept C121332964 @default.
• W1644651122 hasConcept C127413603 @default.
• W1644651122 hasConcept C134306372 @default.
• W1644651122 hasConcept C138885662 @default.
• W1644651122 hasConcept C17744445 @default.
• W1644651122 hasConcept C180198813 @default.
• W1644651122 hasConcept C199539241 @default.
• W1644651122 hasConcept C2779136372 @default.
• W1644651122 hasConcept C2779777834 @default.
• W1644651122 hasConcept C2780704645 @default.
• W1644651122 hasConcept C33923547 @default.
• W1644651122 hasConcept C34388435 @default.
• W1644651122 hasConcept C38652104 @default.
• W1644651122 hasConcept C41008148 @default.
• W1644651122 hasConcept C41895202 @default.
• W1644651122 hasConcept C527648132 @default.
• W1644651122 hasConcept C62520636 @default.
• W1644651122 hasConceptScore W1644651122C119599485 @default.
• W1644651122 hasConceptScore W1644651122C121332964 @default.
• W1644651122 hasConceptScore W1644651122C127413603 @default.
• W1644651122 hasConceptScore W1644651122C134306372 @default.
• W1644651122 hasConceptScore W1644651122C138885662 @default.
• W1644651122 hasConceptScore W1644651122C17744445 @default.
• W1644651122 hasConceptScore W1644651122C180198813 @default.
• W1644651122 hasConceptScore W1644651122C199539241 @default.
• W1644651122 hasConceptScore W1644651122C2779136372 @default.
• W1644651122 hasConceptScore W1644651122C2779777834 @default.
• W1644651122 hasConceptScore W1644651122C2780704645 @default.
• W1644651122 hasConceptScore W1644651122C33923547 @default.
• W1644651122 hasConceptScore W1644651122C34388435 @default.
• W1644651122 hasConceptScore W1644651122C38652104 @default.
• W1644651122 hasConceptScore W1644651122C41008148 @default.
• W1644651122 hasConceptScore W1644651122C41895202 @default.
• W1644651122 hasConceptScore W1644651122C527648132 @default.
• W1644651122 hasConceptScore W1644651122C62520636 @default.
• W1644651122 hasIssue "6" @default.
• W1644651122 hasLocation W16446511221 @default.
• W1644651122 hasLocation W16446511222 @default.
• W1644651122 hasLocation W16446511223 @default.
• W1644651122 hasLocation W16446511224 @default.
• W1644651122 hasLocation W16446511225 @default.
• W1644651122 hasOpenAccess W1644651122 @default.
• W1644651122 hasPrimaryLocation W16446511221 @default.

• next