Title
Modeling a distributed intrusion detection system using collaborative building blocks
Abstract
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks. Not only do we need to deal with the application-specific functionalities that are intricate, but we also have to handle the complex logic of coordinating the distribution and relocation of tasks. In this paper, we model an intrusion detection system that distributes its analysis units to a number of hosts and assigns fine-grained analysis tasks to these hosts in order to cope with the rapid increase of audit data from today's IT systems. The system is further capable to react to overload situations and to shift tasks to other hosts. To develop this complex system, we apply the model-based engineering method SPACE. In particular, we show that the collaborative specification style of the method can significantly reduce the development effort. Also, the formal semantics of SPACE ensures the correctness of important design properties.
Year
DOI
Venue
2011
10.1145/1921532.1921564
ACM SIGSOFT Software Engineering Notes
Keywords
Field
DocType
collaborative specification style,application-specific functionalities,formal specifications,collaboration-oriented model,it system,collaborative building block,fine-grained analysis task,complex system,audit data,model-based engineering method,complex logic,uml,analysis unit,intrusion detection system,reusable models,formal specification,distributed system,distribution function,formal semantics
Unified Modeling Language,Software engineering,Method engineering,Computer science,Information technology,Correctness,Formal specification,Distributed intrusion detection,Intrusion detection system,Distributed computing
Journal
Volume
Issue
Citations 
36
1
1
PageRank 
References 
Authors
0.34
17
7
Name
Order
Citations
PageRank
Linda Ariani Gunawan1292.92
Michael Vogel292.61
Frank Alexander Kraemer326221.13
Sebastian Schmerl4417.87
Vidar Slåtten5614.65
Peter Herrmann615312.37
Hartmut König738476.64