1138 search results - page 202 / 228 » Talking about concerns |
142
click to vote
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
PROVSEC
2009
Springer
15 years 7 months ago
2009
Springer
Private inference control enables simultaneous enforcement of inference control and protection of users’ query privacy. Private inference control is a useful tool for database ap...
133
click to vote
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
SOUPS
2009
ACM
15 years 7 months ago
2009
ACM
We used an iterative design process to develop a privacy label that presents to consumers the ways organizations collect, use, and share personal information. Many surveys have sh...
115
click to vote
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...