6812 search results - page 74 / 1363 » Detection of Information Flows |
127
click to vote
POPL
1998
ACM
15 years 5 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
ECSCW
1997
15 years 2 months ago
1997
Abstract: In field studies designed to uncover opportunities for computationallyintensive business applications, we observed an interaction pattern we term "constellations&quo...
113
click to vote
JCS
2007
15 years 1 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
148
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...