1779 search results - page 81 / 356 » A Formal Model of Data Privacy |
122
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
132
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
The issue of confidentiality and privacy in general databases has become increasingly prominent in recent years. A key element in preserving privacy and confidentiality of sensi...
131
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
119
click to vote
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
122
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...