Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(8)
Building Block
Complex System
Distributed System
Distribution Function
Dynamic Reconfiguration
Formal Semantics
Formal Specification
Intrusion Detection System
Subscribe
Academic
Publications
Modeling a distributed intrusion detection system using collaborative building blocks
Modeling a distributed intrusion detection system using collaborative building blocks,10.1145/1921532.1921564,ACM Sigsoft Software Engineering Notes,L
Edit
Modeling a distributed intrusion detection system using collaborative building blocks
BibTex
|
RIS
|
RefWorks
Download
Linda Ariani Gunawan
,
Michael Vogel
,
Frank Alexander Kraemer
,
Sebastian Schmerl
,
Vidar Slåtten
,
Peter Herrmann
,
Hartmut König
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.
Journal:
ACM Sigsoft Software Engineering Notes
, vol. 36, no. 1, pp. 1-8, 2011
DOI:
10.1145/1921532.1921564
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
dl.acm.org
)
(
portal.acm.org
)
(
portal.acm.org
)
(
doi.acm.org
)
(
www.informatik.uni-trier.de
)
More »
References
(15)
An agent-based approach for building complex software systems
(
Citations: 620
)
Nicholas R. Jennings
Journal:
Communications of The ACM - CACM
, vol. 44, no. 4, pp. 35-41, 2001
Software tools for complex distributed systems: toward integrated tool environments
(
Citations: 7
)
Diane T. Rover
,
Abdul Waheed
,
Matt W. Mutka
,
A. M. Bakic
Journal:
IEEE Concurrency - IEEECC
, vol. 6, no. 2, pp. 40-54, 1998
Improving the Efficiency of Misuse Detection
(
Citations: 20
)
Michael Meier
,
Sebastian Schmerl
,
Hartmut Koenig
Conference:
Detection of Intrusions and Malware & Vulnerability Assessment - DIMVA
, pp. 188-205, 2005
Designing distributed applications with mobile code paradigms
(
Citations: 213
)
Antonio Carzaniga
,
Gian Pietro Picco
,
Giovanni Vigna
Conference:
International Conference on Software Engineering - ICSE
, pp. 22-32, 1997
Tool support for the rapid composition, analysis and implementation of reactive services
(
Citations: 10
)
Frank Alexander Kraemer
,
Vidar Slåtten
,
Peter Herrmann
Journal:
Journal of Systems and Software - JSS
, vol. 82, no. 12, pp. 2068-2080, 2009