5255 search results - page 335 / 1051 » Formal Methods for Privacy |
162
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
149
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we propose a method for on-line max auditing of dynamic statistical databases. The method extends the Bayesian approach presented in [2], [3] and [4] for static data...
153
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
It is difficult to apply existing software development methods to security concerns. Using software for security testing purposes, in particular, is hard to do. The fact that ther...
133
click to vote
ISI
2007
Springer
15 years 11 months ago
2007
Springer
—We address the problem of planning patrol routes to maximize coverage of important locations (hot spots) at minimum cost (length of patrol route). We model a road network using ...
124
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...