Network configuration in a box: towards end-to-end verification of network reachability and security

@article{AlShaer2009NetworkCI,
  title={Network configuration in a box: towards end-to-end verification of network reachability and security},
  author={Ehab Al-Shaer and Wilfredo Marrero and Adel El-Atawy and Khalid Elbadawi},
  journal={2009 17th IEEE International Conference on Network Protocols},
  year={2009},
  pages={123-132}
}
Recent studies show that configurations of network access control is one of the most complex and error prone network management tasks. For this reason, network misconfiguration becomes the main source for network unreachablility and vulnerability problems. In this paper, we present a novel approach that models the global end-to-end behavior of access control configurations of the entire network including routers, IPSec, firewalls, and NAT for unicast and multicast packets. Our model represents… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 157 citations. REVIEW CITATIONS
108 Citations
20 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 108 extracted citations

158 Citations

0102030'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 158 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 20 references

Similar Papers

Loading similar papers…