533 search results - page 2 / 107 » Verification of Distributed Firewalls |
NETWORKING
2004
13 years 11 months ago
2004
Firewalls are a well-established security mechanism to restrict the traffic exchanged between networks to a certain subset of users and applications. In order to cope with new appl...
DISCEX
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper summarizes the research performed under DARPA’s Autonomic Distributed Firewalls (ADF) research project. The summary begins with a review of the motivation and objecti...
WEBNET
2001
13 years 11 months ago
2001
: Modern security architectures tend to become more and more complex. Not only the chances to improve Web applications using several data channels and diverse (TCP-)ports are very ...
FGCN
2008
IEEE
14 years 4 months ago
2008
IEEE
Due to the impact of the rapid popularization of Internet and e-commerce, most organizations and enterprises take great effort to protect their information systems against malicio...
CCS
2007
ACM
14 years 1 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...