A Unified Firewall Model for Web Security

  • Grzegorz J. Nalepa
Part of the Advances in Soft Computing book series (AINSC, volume 43)


The paper presents a new formalization for firewall systems, called the Unified Firewall Model (UFM). It offers an abstraction over firewall implementations, and uses formal concepts of Rule-Based Systems to describe firewall syntax and semantics. It is backed by the XTT/ARD design methods. It allows for improving system quality, by introducing a formal verification during the design stage.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Budzowski, M.: Analysis of rule-based mechanisms in computer security systems. formulation of generalized model for firewall systems. Master’s thesis, AGH-UST, Supervisor: G. J. Nalepa, Ph.D. (2006)Google Scholar
  2. 2.
    Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)Google Scholar
  3. 3.
    Nalepa, G.J., Ligęza, A.: Designing reliable web security systems using rule-based systems approach. In: Menasalvas, E., Segovia, J., Szczepaniak, P.S. (eds.) AWIC 2003. LNCS (LNAI), vol. 2663, Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Nalepa, G.J., Ligęza, A.: Conceptual modelling and automated implementation of rule-based systems. In: Zieliński, T.S.K. (ed.) Software engineering: evolution and emerging technologies. Frontiers in Artificial Intelligence and Applications, vol. 130, IOS Press, Amsterdam (2005)Google Scholar
  5. 5.
    Nalepa, G.J., Ligęza, A.: Security systems design and analysis using an integrated rule-based systems approach. In: Szczepaniak, P.S., Kacprzyk, J., Niewiadomski, A. (eds.) AWIC 2005. LNCS (LNAI), vol. 3528, Springer, Heidelberg (2005)Google Scholar
  6. 6.
    Nalepa, G.J., Ligęza, A.: Prolog-based analysis of tabular rule-based systems with the xtt approach. In: Sutcliffe, G.C.J., Goebel, R.G. (eds.) FLAIRS 2006, Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park (2006)Google Scholar
  7. 7.
    OpenBSD Project. PF: The OpenBSD Packet Filter (2006)Google Scholar
  8. 8.
    Russell, R.: Linux 2.4 Packet Filtering HOWTO. NetFilter Project (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Grzegorz J. Nalepa
    • 1
  1. 1.Institute of Automatics, AGH University of Science and Technology, Al. Mickiewicza 30,30-059 KrakówPoland

Personalised recommendations