102 search results - page 4 / 21 » The Orchids Intrusion Detection Tool |
FPL
2004
Springer
15 years 3 months ago
2004
Springer
—This paper presents a methodology and a tool for automatic synthesis of highly efficient intrusion detection systems using a high-level, graph-based partitioning methodology and...
129
click to vote
JIPS
2010
14 years 4 months ago
2010
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...
SP
2002
IEEE
14 years 9 months ago
2002
IEEE
As networks become faster there is an emerging need for security analysis techniques that can keep up with the increased network throughput. Existing network-based intrusion detec...
62
Voted
CHI
2007
ACM
15 years 1 months ago
2007
ACM
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...
FORTE
2004
14 years 11 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...