5255 search results - page 335 / 1051 » Formal Methods for Privacy |
194
click to vote
IEEEARES
2009
IEEE
16 years 1 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...
192
click to vote
IEEEARES
2008
IEEE
16 years 1 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...
186
click to vote
IEEEARES
2007
IEEE
16 years 1 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...
169
click to vote
ISI
2007
Springer
16 years 25 days 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 ...
156
Voted
ACSAC
2005
IEEE
16 years 9 days 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...