5255 search results - page 387 / 1051 » Formal Methods for Privacy |
140
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
159
click to vote
ISI
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we study the problem of anomaly detection in high-dimensional network streams. We have developed a new technique, called Stream Projected Ouliter deTector (SPOT), t...
163
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program...
152
click to vote
PROVSEC
2010
Springer
15 years 3 months ago
2010
Springer
Generic constructions of designated confirmer signatures follow one of the following two strategies; either produce a digital signature on the message to be signed, then encrypt th...
192
click to vote
BIOSIG
2009
15 years 2 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...