1402 search results - page 226 / 281 » Personalized privacy preservation |
167
click to vote
SP
2007
IEEE
16 years 17 days ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
155
click to vote
ACSAC
2006
IEEE
16 years 11 days ago
2006
IEEE
Malware is software with malicious intent. Besides viruses and worms, spyware, adware, and other newer forms of malware have recently emerged as widely-spread threats to system se...
164
click to vote
STORAGESS
2006
ACM
16 years 8 days ago
2006
ACM
Archival storage systems are designed for a write-once, read-maybe usage model which places an emphasis on the long-term preservation of their data contents. In contrast to tradit...
168
click to vote
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
163
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...