5255 search results - page 419 / 1051 » Formal Methods for Privacy |
232
click to vote
IEEEARES
2006
IEEE
16 years 26 days ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
161
click to vote
IEEEARES
2006
IEEE
16 years 26 days ago
2006
IEEE
When IEEE 802.11i draft[1] proposed TKIP, it is expected to improve WEP on both active and passive attack methods. TKIP uses more sophisticated methods to distribute and manage se...
148
click to vote
ACSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
Honeyd [14] is a popular tool developed by Niels Provos that offers a simple way to emulate services offered by several machines on a single PC. It is a so called low interaction ...
181
click to vote
ACSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...
181
click to vote
SP
2003
IEEE
16 years 2 days ago
2003
IEEE
The call stack of a program execution can be a very good information source for intrusion detection. There is no prior work on dynamically extracting information from call stack a...