Journal Article10.1109/5254.912387
Planning for security management
TL;DR: The authors' intrusion detection system integrates PlanNet, a constraint-based planner, to perform security management in computer networks and dynamically computes reconfiguration and repair plans, retrieving only the information needed to compute the plan.
read more
Abstract: The authors' intrusion detection system integrates PlanNet, a constraint-based planner, to perform security management in computer networks. The system dynamically computes reconfiguration and repair plans, retrieving only the information needed to compute the plan.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Constraint Logic Programming
Marco Gavanelli,Francesca Rossi +1 more
TL;DR: Constraint Logic Programming (CLP) is one of the most successful branches of logic programming; it attracts the interest of theoreticians and practitioners, and it is currently used in many commercial applications.
Therminator 2: a thermodynamics-based method for real-time patternless intrusion detection
S.D. Donald,R.V. McMillen,D.K. Ford,John McEachen +3 more
- 07 Oct 2002
TL;DR: Results indicate this system has significant potential for revealing anomalies in large network systems, and is decomposed into a network sensing device, a real-time processing component and a forensics component.
NCDS: data mining for discovering interesting network characteristics
M. Zaki,Tarek S. Sobh +1 more
TL;DR: The system presented in this paper is a database system designed and implemented for monitoring the network traffic and capable to discover various operational patterns, provide sensible advices, and support the network planning activity.
9
•Proceedings Article
Security Management in Cross-Organizational Settings: A Design Science Approach
Stefan Thalmann,Daniel Bachlechner,Ronald Maier +2 more
- 01 Jan 2012
TL;DR: In this paper, the authors present a design science project that addresses security management in cross-organizational settings based on a sequence of empirical studies involving interviews and an online survey, analyzing critical activities associated with security management from the perspective of service providers and auditors.
7
Specification and verification of agent interaction using abductive reasoning
Federico Chesani,Marco Gavanelli,Marco Alberti,Evelina Lamma,Paola Mello,Paolo Torroni +5 more
- 27 Jun 2005
TL;DR: Within the SOCS (Societies Of ComputeeS) project, a language based on abductive semantics has been proposed as a mean to define interactions in open societies as discussed by the authors, which allows the designer to define open, extensible and not over-constrained protocols.
References
•Book
Foundations of Constraint Satisfaction
Edward Tsang
- 01 Aug 1993
TL;DR: Introduction to the C SP CSP solving - an overview chapter fundamental concepts of the CSP chapter problem reduction chapter basic search strategies for solving CSPs search orders in searching in C SPs exploitation of problem specific features stochastic search methods.
2K
Constraint logic programming : A survey
Joxan Jaffar,Michael J. Maher +1 more
TL;DR: This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
1.6K
A survey of intrusion detection techniques
TL;DR: The use of automated tools for detecting computer system intrusion are described and further technologies that may be of use for intrusion detection in the future are described.
464
Haystack: an intrusion detection system
S.E. Smaha
- 12 Dec 1988
TL;DR: Haystack is a prototype system for the detection of intrusions in multiuser US Air Force computer systems that reduces voluminous system audit trails to short summaries of user behavior, anomalous events, and security incidents.
383
•Proceedings Article
Probabilistic planning with information gathering and contingent execution
Denise L. Draper,Steve Hanks,Daniel S. Weld +2 more
- 13 Jun 1994
TL;DR: This work extends the BURIDAN probabilistic planning algorithm, adapting the action representation to model the behavior of imperfect sensors, and combines it with a framework for contingent action that extends the CNLP algorithm for conditional execution.