Sciweavers

533 search results - page 4 / 107
» Verification of Distributed Firewalls
Sort
View
103
Voted
ICC
2008
IEEE
110views Communications» more  ICC 2008»
16 years 1 months ago
Formal Verification of Firewall Policies
Alex X. Liu
174
Voted
HPDC
2005
IEEE
16 years 20 days ago
CODO: firewall traversal by cooperative on-demand opening
Firewalls and network address translators (NATs) cause significant connectivity problems along with benefits such as network protection and easy address planning. Connectivity pro...
Se-Chang Son, Bill Allcock, Miron Livny
210
Voted
JCP
2006
106views more  JCP 2006»
15 years 7 months ago
Using Firewalls to Enforce Enterprise-wide Policies over Standard Client-Server Interactions
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
Tuan Phan, Zhijun He, Thu D. Nguyen