FRINK Linked Data Fragments server

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

• W1926014207 abstract "When a computer program requires legitimate access to confidential data, the question arises whether such a program may reveal sensitive information to an unauthorised observer. There is therefore a need to ensure that a program, which processes confidential data, is free of unwanted information flow. This thesis presents a formal framework for the analysis and enforcement of secure information flow in computational systems such as computer programs. An important aspect of the problem of secure information flow is the development of policies by which we can express intended information release. For this reason information lattices and maps on these lattices are presented as models, which capture intuitive notions about information and information flow. A definition of security is given, based on the lattice formalisation of information and information flow, that exploits the partial order of the information lattice. The lattice formalisation gives us a uniform way to enforce information security policies under various qualitative and quantitative representations of information. An input-output relational model, which describes how a system transforms its input to publicly observable outputs with respect to a given attacker model, is presented as a primitive for the study of secure information flow. By using the relational model, various representations of information, which are shown to fit into the lattice model of information, are derived for the analysis of information flow under deterministic and nondeterministic system models. A systematic technique to derive the relational model of a system, under a given attacker model, from the operational semantics in a language-based setting, is also presented. This allows the development of information flow analyses parametrised by chosen attacker models. A flow-sensitive and termination-sensitive static analysis calculus is presented for the analysis of information flow in programs written in a deterministic While language with outputs. The analysis is shown to be correct with respect to an attacker model that is able to observe all program outputs and which can determine the termination or nontermination of program execution. The static analysis also detects certain disjunctive information release. A termination-sensitive dependency analysis is developed which demonstrates how, by employing abstract interpretation techniques, other less precise but possibly more efficient information flow analysis may be obtained. The thesis concludes with further examples to highlight various aspects of the information flow analysis and enforcement framework developed." @default.
• W1926014207 created "2016-06-24" @default.
• W1926014207 creator A5015723791 @default.
• W1926014207 date "2009-12-01" @default.
• W1926014207 modified "2023-09-25" @default.
• W1926014207 title "Secure information flow: analysis and enforcement" @default.
• W1926014207 cites W130766217 @default.
• W1926014207 cites W1492647052 @default.
• W1926014207 cites W1493079268 @default.
• W1926014207 cites W1501401133 @default.
• W1926014207 cites W1504054062 @default.
• W1926014207 cites W1505010935 @default.
• W1926014207 cites W1514258760 @default.
• W1926014207 cites W1518533182 @default.
• W1926014207 cites W1519566437 @default.
• W1926014207 cites W1522113126 @default.
• W1926014207 cites W1522369906 @default.
• W1926014207 cites W1525647423 @default.
• W1926014207 cites W1526328753 @default.
• W1926014207 cites W1529656707 @default.
• W1926014207 cites W1534212008 @default.
• W1926014207 cites W1551753488 @default.
• W1926014207 cites W1569068078 @default.
• W1926014207 cites W1569728954 @default.
• W1926014207 cites W1597778235 @default.
• W1926014207 cites W1603799276 @default.
• W1926014207 cites W1605295442 @default.
• W1926014207 cites W1655226010 @default.
• W1926014207 cites W1699577049 @default.
• W1926014207 cites W1819958245 @default.
• W1926014207 cites W1867052887 @default.
• W1926014207 cites W1882297107 @default.
• W1926014207 cites W1972238918 @default.
• W1926014207 cites W1977764760 @default.
• W1926014207 cites W1993941352 @default.
• W1926014207 cites W1995425798 @default.
• W1926014207 cites W1995875735 @default.
• W1926014207 cites W2002089154 @default.
• W1926014207 cites W2014764321 @default.
• W1926014207 cites W2016017569 @default.
• W1926014207 cites W2036910349 @default.
• W1926014207 cites W203727647 @default.
• W1926014207 cites W2046213250 @default.
• W1926014207 cites W2046970568 @default.
• W1926014207 cites W2067012475 @default.
• W1926014207 cites W2078114603 @default.
• W1926014207 cites W2084875723 @default.
• W1926014207 cites W2093397547 @default.
• W1926014207 cites W2094873755 @default.
• W1926014207 cites W2097833793 @default.
• W1926014207 cites W2098290609 @default.
• W1926014207 cites W2098806455 @default.
• W1926014207 cites W2098820900 @default.
• W1926014207 cites W2103759928 @default.
• W1926014207 cites W2105443119 @default.
• W1926014207 cites W2106969392 @default.
• W1926014207 cites W2107956195 @default.
• W1926014207 cites W2108074136 @default.
• W1926014207 cites W2111982337 @default.
• W1926014207 cites W2114067856 @default.
• W1926014207 cites W2115270921 @default.
• W1926014207 cites W2115549888 @default.
• W1926014207 cites W2116236474 @default.
• W1926014207 cites W2116680079 @default.
• W1926014207 cites W2118229393 @default.
• W1926014207 cites W2121739482 @default.
• W1926014207 cites W2121988324 @default.
• W1926014207 cites W2122049982 @default.
• W1926014207 cites W2124251840 @default.
• W1926014207 cites W2125927592 @default.
• W1926014207 cites W2126469755 @default.
• W1926014207 cites W2126806819 @default.
• W1926014207 cites W2129278597 @default.
• W1926014207 cites W2130241416 @default.
• W1926014207 cites W2131916295 @default.
• W1926014207 cites W2136592074 @default.
• W1926014207 cites W2139093088 @default.
• W1926014207 cites W2145969019 @default.
• W1926014207 cites W2147436337 @default.
• W1926014207 cites W2147462260 @default.
• W1926014207 cites W2149465027 @default.
• W1926014207 cites W2149929743 @default.
• W1926014207 cites W2149996206 @default.
• W1926014207 cites W2150174204 @default.
• W1926014207 cites W2165078378 @default.
• W1926014207 cites W2168418017 @default.
• W1926014207 cites W2168753065 @default.
• W1926014207 cites W2173102238 @default.
• W1926014207 cites W2295903522 @default.
• W1926014207 cites W26137079 @default.
• W1926014207 cites W3021003119 @default.
• W1926014207 cites W3140968660 @default.
• W1926014207 cites W43376171 @default.
• W1926014207 hasPublicationYear "2009" @default.
• W1926014207 type Work @default.
• W1926014207 sameAs 1926014207 @default.
• W1926014207 citedByCount "0" @default.
• W1926014207 crossrefType "dissertation" @default.
• W1926014207 hasAuthorship W1926014207A5015723791 @default.
• W1926014207 hasConcept C124101348 @default.

• next