912 search results - page 83 / 183 » Anomaly |
187
click to vote
CCGRID
2006
IEEE
16 years 6 days ago
2006
IEEE
In this paper we propose a peer-to-peer (P2P) prototype (INTCTD) for intrusion detection over an overlay network. INTCTD is a distributed system based on neural networks for detec...
160
Voted
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
152
Voted
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
154
click to vote
IM
2007
15 years 7 months ago
2007
— With the wide deployment of flow monitoring in IP networks, the analysis of the exported flow data has become an important research area. It has been shown that flow data ca...
173
Voted
FLAIRS
2004
15 years 7 months ago
2004
This paper presents a new method of interactive refinement of a knowledge base. The first step of our method is a validation stage which checks the consistency and the completenes...