1779 search results - page 125 / 356 » A Formal Model of Data Privacy |
128
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Efforts to design faster synchronous mix networks have focused on reducing the computational cost of mixing per server. We propose a different approach: our re-encryption mixnet...
103
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
126
click to vote
NSDI
2008
15 years 6 months ago
2008
In this paper, we discuss Bitfrost, the security model developed by the One Laptop Per Child project for its XO laptop computers. Bitfrost implements a number of security measures...
118
click to vote
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
159
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...