Skip to main content
SpringerLink
Log in

Designing Reliable Web Security Systems Using Rule-Based Systems Approach

  • Conference paper
  • First Online:
Advances in Web Intelligence (AWIC 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2663))

Included in the following conference series:

Abstract

This paper shows that rule-based web security systems, such as firewalls, can be largely improved by using formal design and verification techniques. The principal idea consists of an integrated design and verification methodology, supported by an integrated graphical environment for rule-based systems development. System structure is described in a XML-based meta-level knowledge representation language. System domain knowledge and semantics is represented in RDF and Ontologies-based description. Formal properties of the system can be verified on-line by an integrated Prolog-based inference engine.

Research supported from a KBN Research Project No.: 4 T11C 027 24

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Article  Google Scholar 

  2. Coenen, F.: Validation and verification of knowledge based systems: Report on EUROVAV’99. Knowledge Engineering Review, 15:2, 2000, 187–196.

    Article  Google Scholar 

  3. Ligeza, 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.

    Google Scholar 

  4. Ligeza, A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In [5], 1999, 313–325.

    Google Scholar 

  5. Vermesan, A. and F. Coenen (Eds.): Validation and Verification of Knowledge Based Systems — Theory, Tools and Practice. Kluwer Academic Publishers, Boston, 1999.

    Google Scholar 

  6. de Hoog, R.: Methodologies for Building Knowledge-Based Systems: Achievements and Prospectus. A Chapter in [7].

    Google Scholar 

  7. Liebowitz, J.: The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998.

    MATH  Google Scholar 

  8. Ligeza, A.: Toward logical analysis of tabular rule-based systems. International Journal of Intelligent Systems, Vol. 16, 333–360, 2001.

    Article  MATH  Google Scholar 

  9. Ligeza 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).

    Google Scholar 

  10. Nalepa G.J., Ligeza A, Graphical CASE tools for integrated design and verification of rule-based systems, Symposium on Methods of Artificial Intelligence: proceedings/ eds. Burczynski T. [et al.], Silesian University of Technology, Polish Association for Computational Mechanics, Gliwice, 2001.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Automatics, University of Mining and Metallurgy, Al. Mickiewicza 30, 30-059, Kraków, Poland

    Grzegorz J. Nalepa & Antoni Ligeza

Authors
  1. Grzegorz J. Nalepa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antoni Ligeza
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo, Boadilla del Monte, 28660, Madrid, Spain

    Ernestina Menasalvas  & Javier Segovia  & 

  2. Institute of Computer Science, Technical University of Lodz, ul.Sterlinga 16/18, 90-217, Lodz, Poland

    Piotr S. Szczepaniak

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nalepa, G.J., Ligeza, A. (2003). Designing Reliable Web Security Systems Using Rule-Based Systems Approach. In: Menasalvas, E., Segovia, J., Szczepaniak, P.S. (eds) Advances in Web Intelligence. AWIC 2003. Lecture Notes in Computer Science, vol 2663. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44831-4_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-44831-4_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40124-7

  • Online ISBN: 978-3-540-44831-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation