Abdelaziz Mounji, Baudouin Le Charlier  Home/Search
Context Related
| info.fundp.ac.be/pub/u...benelog96.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: info.fundp.ac.be/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Computer security is a topic of growing concern because, on the one hand, the power of computers continues to increase at exponential speed and all computers are virtually connected to each other and because, on the other hand, the lack of reliability of software systems may cause dramatic and unrecoverable damage to computer systems and hence to the newly emerging computerized society. Among the possible approaches to improve the current situation, expert systems have been advocated to be an... (Update)
Context of citations to this paper: More
...the actual state of the configuration. In the following, we only provide an outline of the implementation, the reader is referred to [18] for a more detailed presentation of the implementation and of the logic programming aspects. There are two main operations that are...
Cited by: More
Continuous Assessment of a Unix Configuration: Integrating.. - Mounji, Le Charlier (1996) (Correct)
Active bibliography (related documents): More All
0.8: Distributed Audit Trail Analysis - Mounji, Le Charlier, Zampunieris.. (1994) (Correct)
0.4: Intrusion Detection: A Study - Blomqvist, Skantze (1995) (Correct)
0.3: Intrusion Detection: A Bibliography - Mé, Michel (2001) (Correct)
Similar documents based on text: More All
0.4: Preliminary Report on - Advanced Security Audit (Correct)
0.4: Advanced Security Audit Trail Analysis on (ASAX also.. - Habra, Le Charlier.. (1994) (Correct)
0.3: Dynamic Detection and Classification of Computer.. - Le Charlier, Mounji.. (1995) (Correct)
BibTeX entry: (Update)
A. Mounji and B. Le Charlier. Detecting Breaches in Computer Security: A Pragmatic System with a Logic Programming Flavor. In Proceedings of the 8 th Benelux Workshop on Logic Programming, Louvain-La-Neuve, Belgium, Sept. 1996. http://www.info.fundp.ac.be/amo/papers/benelog96.ps.Z. http://citeseer.ist.psu.edu/mounji96detecting.html More
@misc{ mounji96detecting,
author = "A. Mounji and B. Le Charlier",
title = "Detecting Breaches in Computer Security: A Pragmatic System with a Logic
Programming Flavor",
text = "A. Mounji and B. Le Charlier. Detecting Breaches in Computer Security:
A Pragmatic System with a Logic Programming Flavor. In Proceedings of the
8 th Benelux Workshop on Logic Programming, Louvain-La-Neuve, Belgium, Sept.
1996. http://www.info.fundp.ac.be/amo/papers/benelog96.ps.Z.",
year = "1996",
url = "citeseer.ist.psu.edu/mounji96detecting.html" }
Citations (may not include all citations):133 IEEE Transactions on Software Engineering (context) - Denning, Model - 1987
28 ASAX: Software Architecture and Rule-based Language for Univ.. - Habra, Le Charlier et al. - 1992
27 Automated Audit Trail Analysis and Intrusion Detection: A Su.. - Lunt - 1988
21 A Prototype Real-time Intrusion Detection Expert System (context) - Lunt, Jagannathan - 1988
9 Preliminary report on Advanced Security Audit Trail Analysis.. (context) - Habra, Le Charlier et al.
7 Real Time Intrusion Detection (context) - Lunt - 1989
7 A Unix Prototype for Intrusion and Anomaly Detection in Secu.. (context) - Winkler - 1990
5 Advanced Security Audit Trail Analysis on Unix (context) - Habra, Le Charlier et al.
4 Kuang: Rule-based Security Checking (context) - Robert - 1994
4 Foundations of Intrusion Detection (context) - Helman, Liepins et al. - 1992
1 Raghu Ramakrishnam Deja vu in Fixpoints of Logic Programs Co.. (context) - Maher - 1989
1 Sudarshan Efficient Bottom-up Evaluation of Logic Programs (context) - Ramakrishnam, Srivastava - 1989
1 Spafford COPS Security Checker System (context) - Farmer - 1991
Documents on the same site (http://www.info.fundp.ac.be/~amo/publications.html): More
Dynamic Detection and Classification of Computer.. - Le Charlier, Mounji.. (1995) (Correct)
Continuous Assessment of a Unix Configuration: Integrating.. - Mounji, Le Charlier (1996) (Correct)
ASAX: Software Architecture and Rule-Based Language .. - Habra, Le.. (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC