1527 search results - page 49 / 306 » Demographic information flows |
144
Voted
POPL
1998
ACM
15 years 7 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...
113
Voted
ECSCW
1997
15 years 5 months ago
1997
Abstract: In field studies designed to uncover opportunities for computationallyintensive business applications, we observed an interaction pattern we term "constellations&quo...
131
Voted
JCS
2007
15 years 3 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...
165
Voted
ICFP
2012
ACM
13 years 6 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 ...
118
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...