FRINK Linked Data Fragments server

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

• W254902136 endingPage "347" @default.
• W254902136 startingPage "319" @default.
• W254902136 abstract "Information-flow control tracks how information propagates through the program during execution to make sure that the program handles the information securely. Secure information flow is comprised of two related aspects: information confidentiality and information integrity — intuitively pertaining to the reading and writing of the information. The prevailing basic semantic notion of secure information flow is noninterference, demanding independence of public (or, in the case of integrity, trusted) output from secret (or, in the case of integrity, untrusted) input. This document gives an account of the state-of-the-art in confidentiality and integrity policies and their enforcement with a systematic formalization of four dominant formulations of noninterference: termination-insensitive, termination-sensitive, progress-insensitive, and progress-sensitive, cast in the setting of two minimal while languages. 1. Information-flow control The control of how information is propagated by computing systems is vital for information security. Historically, access control has been the main means of preventing information from being disseminated. As the name indicates, access control verifies that the program’s access rights at the point of access, and either grants or denies the program access. Once the program has been given access to information no further effort is made to make sure that the program handles the accessed information correctly. However, access control is inadequate in many situations, since it forces an all-or-nothing choice of either fully trusting the program not to leak/compromise information or not allowing access to this information altogether. Information-flow control tracks how information propagates through the program during execution to make sure that the program handles the information securely. The research on secure information flow goes back to the early 70’s [35,39], primarily in the context of military systems. Secure information flow is comprised of two related aspects: information confidentiality and information integrity — intuitively pertaining to the reading and writing of the information. The prevailing basic semantic notion of secure information flow is noninterference [46], demanding independence of public (or, in the case of integrity, trusted) output from secret (or, in the case of integrity, untrusted) input. As the field has matured, numerous variations of noninterference [98], as well as other semantic characterizations have been explored [103]. Recently, information integrity has received attention [55,57,19,4]. Integrity has frequently been seen as the dual of confidentiality [18], though it can be argued that this description might ignore other important facets [19]. One important aspect of integrity lies in its interaction with declassification — intentional lowering of security classification of information — in order to prevent the attacker from controlling what information is declassified [77,78]. Below we give an account of the state-of-the-art in confidentiality and integrity policies and enforcement, with a detailed exposition of various formulations of noninterference." @default.
• W254902136 created "2016-06-24" @default.
• W254902136 creator A5070340953 @default.
• W254902136 creator A5079303722 @default.
• W254902136 date "2011-01-01" @default.
• W254902136 modified "2023-09-23" @default.
• W254902136 title "A Perspective on Information-Flow Control" @default.
• W254902136 cites W105715719 @default.
• W254902136 cites W1222699389 @default.
• W254902136 cites W1497744324 @default.
• W254902136 cites W1499226144 @default.
• W254902136 cites W1502268999 @default.
• W254902136 cites W1510473343 @default.
• W254902136 cites W1519566437 @default.
• W254902136 cites W1522146952 @default.
• W254902136 cites W1526009812 @default.
• W254902136 cites W1534212008 @default.
• W254902136 cites W1535576056 @default.
• W254902136 cites W1541615208 @default.
• W254902136 cites W1542510445 @default.
• W254902136 cites W1551910050 @default.
• W254902136 cites W1557847811 @default.
• W254902136 cites W1569068078 @default.
• W254902136 cites W1569728954 @default.
• W254902136 cites W1575675278 @default.
• W254902136 cites W1579453661 @default.
• W254902136 cites W1589806443 @default.
• W254902136 cites W1591919839 @default.
• W254902136 cites W1597778235 @default.
• W254902136 cites W1683403723 @default.
• W254902136 cites W1699577049 @default.
• W254902136 cites W1725973462 @default.
• W254902136 cites W1739542898 @default.
• W254902136 cites W174059713 @default.
• W254902136 cites W1777875894 @default.
• W254902136 cites W1819958245 @default.
• W254902136 cites W1849635621 @default.
• W254902136 cites W1867052887 @default.
• W254902136 cites W1940493318 @default.
• W254902136 cites W1957951093 @default.
• W254902136 cites W1966354044 @default.
• W254902136 cites W1968724592 @default.
• W254902136 cites W1977764760 @default.
• W254902136 cites W1985725561 @default.
• W254902136 cites W1993941352 @default.
• W254902136 cites W1994197051 @default.
• W254902136 cites W1997775274 @default.
• W254902136 cites W1999056706 @default.
• W254902136 cites W2008332764 @default.
• W254902136 cites W2016017569 @default.
• W254902136 cites W2016604944 @default.
• W254902136 cites W2019673585 @default.
• W254902136 cites W2027961147 @default.
• W254902136 cites W2057503672 @default.
• W254902136 cites W2061056245 @default.
• W254902136 cites W2066195326 @default.
• W254902136 cites W2068341689 @default.
• W254902136 cites W2068580841 @default.
• W254902136 cites W2070093650 @default.
• W254902136 cites W2074935412 @default.
• W254902136 cites W2094873755 @default.
• W254902136 cites W2095762545 @default.
• W254902136 cites W2096094850 @default.
• W254902136 cites W2097744609 @default.
• W254902136 cites W2097833793 @default.
• W254902136 cites W2098820900 @default.
• W254902136 cites W2106094088 @default.
• W254902136 cites W2106226772 @default.
• W254902136 cites W2108074136 @default.
• W254902136 cites W2109332509 @default.
• W254902136 cites W2110904621 @default.
• W254902136 cites W2113660296 @default.
• W254902136 cites W2115270921 @default.
• W254902136 cites W2116236474 @default.
• W254902136 cites W2116647386 @default.
• W254902136 cites W2120350928 @default.
• W254902136 cites W2121194882 @default.
• W254902136 cites W2121988324 @default.
• W254902136 cites W2122049982 @default.
• W254902136 cites W2122522758 @default.
• W254902136 cites W2122643307 @default.
• W254902136 cites W2124251840 @default.
• W254902136 cites W2124428224 @default.
• W254902136 cites W2126461222 @default.
• W254902136 cites W2126469755 @default.
• W254902136 cites W2128282420 @default.
• W254902136 cites W2129278597 @default.
• W254902136 cites W2130207003 @default.
• W254902136 cites W2131916295 @default.
• W254902136 cites W2132699727 @default.
• W254902136 cites W2134296086 @default.
• W254902136 cites W2136296832 @default.
• W254902136 cites W2136624255 @default.
• W254902136 cites W2139093088 @default.
• W254902136 cites W2141248338 @default.
• W254902136 cites W2145846275 @default.
• W254902136 cites W2147436337 @default.
• W254902136 cites W2149143260 @default.

• next