44 search results - page 5 / 9 » Using equivalence-checking to verify robustness to denial of... |
IJCAI
2003
13 years 8 months ago
2003
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
In the network-centric approach to information operations, users share information robustly by means of a secure infrastructure that enables self-synchronization and, ultimately, ...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes results concerning the robustness and generalization capabilities of kernel methods in detecting coordinated distributed multiple attacks (CDMA) using network...
DSN
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents the design and implementation of a real-time behavior profiling system for high-speed Internet links. The profiling system uses flow-level information from con...
SPAA
2009
ACM
14 years 8 months ago
2009
ACM
Denial of service (DoS) attacks are arguably one of the most cumbersome problems in the Internet. This paper presents a distributed information system (over a set of completely co...