2486 search results - page 86 / 498 » A Type System for Computationally Secure Information Flow |
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
CCS
2010
ACM
14 years 4 days ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
HUC
2010
Springer
13 years 10 months ago
2010
Springer
This paper proposes Convenience Probe, a participatory sensing tool to collect large-scale consumer flow behaviors from everyday mobile phones. We hope to use Convenience Probe to...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...
TIT
2008
13 years 8 months ago
2008
Authentication codes provide message integrity guarantees in an information theoretic sense within a symmetric key setting. Information theoretic bounds on the success probability...