Matches in SemOpenAlex for { <https://semopenalex.org/work/W2793368020> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2793368020 abstract "Common protection mechanisms fail to provide end-to-end security; programs with legitimate access to secret information are not prevented from leaking this to the world by accident or malice. Protecting the access to information is not enough to solve this problem. We have to ensure that the program uses the information in a secure way.Work on information flow security often ignores information flows through covert channels even though they pose a serious threat. In the first paper we present a framework for timing-aware information-flow type systems for a low-level language similar to a non-trivial subset of a sequential Java bytecode. The framework is parametrised over a time model of the instructions of the language and over the algorithm enforcing low-observational equivalence, used in the prevention of implicit and timing flows. This gives us the possibility to easily experiment with different time models. We argue that this is important for two reasons:1) different applications may have different thresholds for what is an acceptable covert channel, and2) different implementations of the same language may contain different possibilities of covert channels.In the second paper we investigate a threat to practical information flow security: the failure to include the runtime environment of a language into consideration.It is important that the assumptions that are made in the study of the core language are honoured by the runtime system, in which inevitably every program will be run.In particular, the second paper studies one commonly made assumption in analyses of Java that may be broken by the runtime environment: that pointers are opaque -- i.e., that the only properties that can be observed of pointers are the objects to which they point, and (at most) their equality. These assumptions often fail in practise. For example, various important operations in Java's standard API, such as hashcodes or serialisation, might break pointer opacity. As a result, static information-flow analyses, which assume pointer opacity risk being unsound in practise, since the pointer representation provides an unchecked implicit leak --- a covert channel via the state of the memory allocator. We investigate information flow in the presence of non-opaque pointers for an imperative language with records, pointer instructions and exceptions, and develop an information flow aware type system which guarantees noninterference." @default.
- W2793368020 created "2018-03-29" @default.
- W2793368020 creator A5079303722 @default.
- W2793368020 date "2007-01-01" @default.
- W2793368020 modified "2023-09-27" @default.
- W2793368020 title "Language Based Covert Channel Avoidance" @default.
- W2793368020 hasPublicationYear "2007" @default.
- W2793368020 type Work @default.
- W2793368020 sameAs 2793368020 @default.
- W2793368020 citedByCount "0" @default.
- W2793368020 crossrefType "journal-article" @default.
- W2793368020 hasAuthorship W2793368020A5079303722 @default.
- W2793368020 hasConcept C103377522 @default.
- W2793368020 hasConcept C111919701 @default.
- W2793368020 hasConcept C127162648 @default.
- W2793368020 hasConcept C138885662 @default.
- W2793368020 hasConcept C184842701 @default.
- W2793368020 hasConcept C199360897 @default.
- W2793368020 hasConcept C2776788033 @default.
- W2793368020 hasConcept C2779136372 @default.
- W2793368020 hasConcept C2779338814 @default.
- W2793368020 hasConcept C2781045450 @default.
- W2793368020 hasConcept C29024540 @default.
- W2793368020 hasConcept C31258907 @default.
- W2793368020 hasConcept C38652104 @default.
- W2793368020 hasConcept C41008148 @default.
- W2793368020 hasConcept C41895202 @default.
- W2793368020 hasConcept C79974875 @default.
- W2793368020 hasConcept C80444323 @default.
- W2793368020 hasConceptScore W2793368020C103377522 @default.
- W2793368020 hasConceptScore W2793368020C111919701 @default.
- W2793368020 hasConceptScore W2793368020C127162648 @default.
- W2793368020 hasConceptScore W2793368020C138885662 @default.
- W2793368020 hasConceptScore W2793368020C184842701 @default.
- W2793368020 hasConceptScore W2793368020C199360897 @default.
- W2793368020 hasConceptScore W2793368020C2776788033 @default.
- W2793368020 hasConceptScore W2793368020C2779136372 @default.
- W2793368020 hasConceptScore W2793368020C2779338814 @default.
- W2793368020 hasConceptScore W2793368020C2781045450 @default.
- W2793368020 hasConceptScore W2793368020C29024540 @default.
- W2793368020 hasConceptScore W2793368020C31258907 @default.
- W2793368020 hasConceptScore W2793368020C38652104 @default.
- W2793368020 hasConceptScore W2793368020C41008148 @default.
- W2793368020 hasConceptScore W2793368020C41895202 @default.
- W2793368020 hasConceptScore W2793368020C79974875 @default.
- W2793368020 hasConceptScore W2793368020C80444323 @default.
- W2793368020 hasLocation W27933680201 @default.
- W2793368020 hasOpenAccess W2793368020 @default.
- W2793368020 hasPrimaryLocation W27933680201 @default.
- W2793368020 hasRelatedWork W1473427895 @default.
- W2793368020 hasRelatedWork W1536005162 @default.
- W2793368020 hasRelatedWork W1593531417 @default.
- W2793368020 hasRelatedWork W1779857600 @default.
- W2793368020 hasRelatedWork W1930820165 @default.
- W2793368020 hasRelatedWork W2030980540 @default.
- W2793368020 hasRelatedWork W2054391605 @default.
- W2793368020 hasRelatedWork W2057887498 @default.
- W2793368020 hasRelatedWork W2118115819 @default.
- W2793368020 hasRelatedWork W2165505463 @default.
- W2793368020 hasRelatedWork W2181943735 @default.
- W2793368020 hasRelatedWork W2318316668 @default.
- W2793368020 hasRelatedWork W2326814928 @default.
- W2793368020 hasRelatedWork W2517321897 @default.
- W2793368020 hasRelatedWork W2547404635 @default.
- W2793368020 hasRelatedWork W2912468286 @default.
- W2793368020 hasRelatedWork W2950942421 @default.
- W2793368020 hasRelatedWork W2963621223 @default.
- W2793368020 hasRelatedWork W1738974586 @default.
- W2793368020 hasRelatedWork W180656013 @default.
- W2793368020 isParatext "false" @default.
- W2793368020 isRetracted "false" @default.
- W2793368020 magId "2793368020" @default.
- W2793368020 workType "article" @default.