Designing reliable web security systems using rule-based systems approach

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2663, Issue , 2003, Pages 124-133

  Nalepa, Grzegorz J ^a   Ligeza, Antoni ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM FIREWALLS; COMPUTER VIRUSES; KNOWLEDGE REPRESENTATION; SECURITY SYSTEMS; SEMANTICS; XML;

FORMAL PROPERTIES; INTEGRATED DESIGNS; INTEGRATED GRAPHICAL ENVIRONMENT; KNOWLEDGE REPRESENTATION LANGUAGE; SYSTEM STRUCTURES; VERIFICATION METHODOLOGY; VERIFICATION TECHNIQUES; WEB SECURITY SYSTEMS;

KNOWLEDGE BASED SYSTEMS; WORLD WIDE WEB;

INTEGRATED GRAPHICS; ONTOLOGY; WEB SECURITY SYSTEMS;

EID: 7044285880     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44831-4_14     Document Type: Conference Paper

References (15)

1. Andert, E.P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992, 357-373.
2. Coenen, F.: Validation and verification of knowledge based systems: Report on EUROVAV'99. Knowledge Engineering Review, 15:2, 2000, 187-196.
3. Ligęza, A.: Logical support for design of rule-based systems. Reliability and quality issues, ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge-based Systems, ECAI'96, 1996, Budapest, 28-34.
4. Ligęza, A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In [5], 1999, 313-325.
5. Vermesan, A. and F. Coenen (Eds.): Validation and Verification of Knowledge Based Systems-Theory, Tools and Practice. Kluwer Academic Publishers, Boston, 1999.
6. de Hoog, R.: Methodologies for Building Knowledge-Based Systems: Achievements and Prospectus. A Chapter in [7].
7. Liebowitz, J.: The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998.
8. Ligęza, A.: Toward logical analysis of tabular rule-based systems. International Journal of Intelligent Systems, Vol. 16, 333-360, 2001.
9. Ligęza A, Wojnicki I., Nalepa G.J., Tab-Trees: a CASE tool for the design of extended tabular systems Database and expert systems applications: 12th International Conference, DEXA 2001: Munich, September 3-5, 2001, : proceedings / eds. Heinrich C. Mayr [et al.].-Berlin: Springer, 2001.-(Lecture Notes in Computer Science; 2113).
10. Nalepa G.J., Ligęza A, Graphical CASE tools for integrated design and verification of rule-based systems, Symposium on Methods of Artificial Intelligence: proceed-ings/ eds. Burczynski T. [et al.], Silesian University of Technology, Polish Association for Computational Mechanics, Gliwice, 2001.
11. Wielinga B. J., Schreiber A. Th. Breuker J. A.: KADS: A modeling approach to knowledge engineering. Readings in Knowledge Acquisition and Learning, Morgan Kaufmann 1992, Los Altos, CA.
12. Lee K. J., Boley H., Tabet S.: Issues in Semantic Web-based E-Commerce and Rule Markup Languages, ICEC 2001, Workshop on Semantic Web-based E-Commerce and Rules Markup Languages, November 2nd, 2001, Vienna, Austria.
13. Roesch M., Green C., : Snort Users Manual Snort Release: 1.9.1, http://www.snort.org-The Open Source Network Intrusion Detection System, 2002.
14. Ott A., Fischer-Hubner S.: The Rule Set Based Access Control (RSBAC) Framework for Linux, Karlstad University Studies, 2001, (http://www.rsbac.org).
15. Siminski R.: Knowledge-base verification based on the decision unit concept, Proceedings of Knowledge Engineering and Expert Systems, Z. Bubnicki and A. Grzech (Eds.), Wroclaw, 2000, Vol. II, 73-80 (in Polish).