2486 search results - page 65 / 498 » A Type System for Computationally Secure Information Flow |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We analyze information leaks in the lookup mechanisms of structured peer-to-peer anonymous communication systems and how these leaks can be used to compromise anonymity. We show t...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
ICICS
2001
Springer
14 years 1 months ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
CODASPY
2011
13 years 9 days ago
2011
This talk gives a personal perspective on the topic area of this new conference on data and application security and privacy, the difficult nature of the challenge we are confron...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...