1527 search results - page 49 / 306 » Demographic information flows |
174
click to vote
POPL
1998
ACM
15 years 10 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...
149
click to vote
ECSCW
1997
15 years 7 months ago
1997
Abstract: In field studies designed to uncover opportunities for computationallyintensive business applications, we observed an interaction pattern we term "constellations&quo...
165
click to vote
JCS
2007
15 years 6 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...
198
click to vote
ICFP
2012
ACM
13 years 8 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 ...
146
click to vote
IFIP
2009
Springer
16 years 21 days 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...