5255 search results - page 302 / 1051 » Formal Methods for Privacy |
158
click to vote
ACISP
2000
Springer
15 years 11 months ago
2000
Springer
This paper shows how suitable choice of cost function can significantly affect the power of optimisation methods for the synthesising of Boolean functions. In particular we show ...
171
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper demonstrates why security issues related to the continually increasing bandwidth of High Speed Networks (HSN) cannot be addressed with conventional firewall mechanisms....
137
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
165
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
It is a well-known problem that intrusion detection systems overload their human operators by triggering thousands of alarms per day. As a matter of fact, we have been asked by on...
156
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...