5255 search results - page 581 / 1051 » Formal Methods for Privacy |
254
click to vote
STORAGESS
2006
ACM
16 years 1 months ago
2006
ACM
Backing up important data is crucial. A variety of causes can lead to data loss, such as disk failures, administration errors, virus infiltration, theft, and physical damage to e...
187
click to vote
CCS
2005
ACM
16 years 18 days ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
186
click to vote
PET
2004
Springer
16 years 12 days ago
2004
Springer
In this paper, we address issues related to flow correlation attacks and the corresponding countermeasures in mix networks. Mixes have been used in many anonymous communication s...
220
click to vote
PLDI
2005
ACM
16 years 18 days ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
200
click to vote
DKE
2007
15 years 7 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...