5255 search results - page 101 / 1051 » Formal Methods for Privacy |
ACMDIS
2004
ACM
14 years 3 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
CCS
2009
ACM
14 years 5 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
ESORICS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
ADC
2010
Springer
13 years 5 months ago
2010
Springer
Nowadays privacy becomes a major concern and many research efforts have been dedicated to the development of privacy protecting technology. Anonymization techniques provide an eff...