44 search results - page 1 / 9 » Formal Verification of Firewall Policies |
ICC
2008
IEEE
13 years 11 months ago
2008
IEEE
IJSN
2008
13 years 5 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
PTS
2008
13 years 6 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
14
Voted
CCS
2007
ACM
13 years 9 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
DSOM
2006
Springer
13 years 8 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...