1970 search results - page 9 / 394 » Security Without Firewalls |
CCS
2007
ACM
13 years 11 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...
CCS
2004
ACM
14 years 26 days ago
2004
ACM
CCS
1998
ACM
13 years 11 months ago
1998
ACM
HPDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Firewalls and network address translators (NATs) cause significant connectivity problems along with benefits such as network protection and easy address planning. Connectivity pro...
CLEIEJ
1998
13 years 7 months ago
1998
Securing resources against unauthorized access and/or use is a major concern of every organization that uses computer networks. To protect internal networks from external attacks,...