8644 search results - page 370 / 1729 » On the Composition of Secure Systems |
199
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
202
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
190
click to vote
IFIP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
223
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
We provide new constructions of Leakage-Resilient IdentityBased Encryption systems (IBE) in the Standard model. We apply a hash proof technique in the existing IBE schemes of Bone...
173
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...