Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

23

ICC
2008
IEEE

favoriteEmaildiscussreport

110views Communications» more ICC 2008»

Formal Verification of Firewall Policies

14 years 5 months ago

Formal Verification of Firewall Policies

Download www.cse.msu.edu

Alex X. Liu

Real-time Traffic

Communications | ICC 2008 |

claim paper

Related Content

» Formal modelling and analysis of XML firewall for serviceoriented systems

» ModelBased Firewall Conformance Testing

» Formal correctness of conflict detection for firewalls

» Using Argumentation Logic for Firewall Policy Specification and Analysis

» Bridging the gap between web application firewalls and web applications

» CODO firewall traversal by cooperative ondemand opening

» Formal Verification and Visualization of Security Policies

» Towards Formal Verification of RoleBased Access Control Policies

» Fang A Firewall Analysis Engine

Post Info
More Details (n/a)

Added	30 May 2010
Updated	30 May 2010
Type	Conference
Year	2008
Where	ICC
Authors	Alex X. Liu

Comments (0)