VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION VS. SECURITY POLICIES USING ALCQI(D)

Author： Khakpour Narges   Jalili Saeed  

Publisher： Taylor & Francis Ltd

ISSN： 1087-6545

Source： Applied Artificial Intelligence, Vol.23, Iss.10, 2009-11, pp. : 945-975

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Complete analysis of configuration rules to guarantee reliable network security policies

By Alfaro J.  

International Journal of Information Security (IJIS), Vol. 7, Iss. 2, 2008-04 ,pp. : 103-122

Springer Publishing Company

Access to resources Recommend Favorite

Validating firewalls using flow logics

By Nielson F.   Riis Nielson H.   Hansen R.R.  

Theoretical Computer Science, Vol. 283, Iss. 2, 2002-06 ,pp. : 381-418

Elsevier

Access to resources Recommend Favorite

Security and Verification of Server Data Using Frequent Itemset Mining in Ecommerce

By  

International Journal of Synthetic Emotions (IJSE), Vol. 8, Iss. 1, 2017-01 ,pp. : 31-43

IGI Global_journal

Access to resources Recommend Favorite

Formal verification of dependable distributed protocols

By Sinha P.   Ren D.Q.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 873-888

Elsevier

Access to resources Recommend Favorite

Flexible and configurable verification policies with Omnibus

By Wilson Thomas  

Software and Systems Modeling (SoSyM), Vol. 7, Iss. 3, 2008-07 ,pp. : 257-272

Springer Publishing Company

Access to resources Recommend Favorite