1779 search results - page 49 / 356 » A Formal Model of Data Privacy |
118
click to vote
EUROPKI
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
104
click to vote
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
VLDB
2004
ACM
15 years 6 months ago
2004
ACM
Database outsourcing is an emerging data management paradigm which has the potential to transform the IT operations of corporations. In this paper we address privacy threats in da...
112
click to vote
CISC
2008
Springer
15 years 3 months ago
2008
Springer
Anonymity is one of the main concerns in group-oriented cryptography. However, most efforts, for instance, group signatures and ring signatures, are only made to provide anonymity ...