6555 search results - page 479 / 1311 » Secure attribute-based systems |
173
click to vote
ACSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
Patching is a critical security service that keeps computer systems up to date and defends against security threats. Existing patching systems all require running systems. With th...
244
click to vote
ACSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
214
click to vote
CCS
2011
ACM
14 years 7 months ago
2011
ACM
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
191
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
146
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...