Designing reliable web security systems using rule-based systems approach

Authors:
Grzegorz J. Nalepa;Antoni Ligeza
Affiliations:
Institute of Automatics, University of Mining and Metallurgy, Kraków, Poland;Institute of Automatics, University of Mining and Metallurgy, Kraków, Poland
Venue:
AWIC'03 Proceedings of the 1st international Atlantic web intelligence conference on Advances in web intelligence
Year:
2003

Citing 5
Cited 4

Integrated knowledge-based system design and validation for solving problems in uncertain environments

International Journal of Man-Machine Studies - Special issue: symbolic problem solving in noisy and novel task environments
The Handbook of Applied Expert Systems

The Handbook of Applied Expert Systems
Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice

EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems

EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Validation and verification of knowledge-based systems: report on EUROVAV99

The Knowledge Engineering Review

Decision Tables in Petri Net Models

RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems

Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Conceptual Modelling and Automated Implementation of Rule-Based Systems

Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Security systems design and analysis using an integrated rule-based systems approach

AWIC'05 Proceedings of the Third international conference on Advances in Web Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.