Author:
Alaettinoglu C.,Bates T.,Gerich E.,Karrenberg D.,Meyer D.,Terpstra M.,Villamizar C.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scalable verification of border gateway protocol configurations with an SMT solver;ACM SIGPLAN Notices;2016-12-05
2. Scalable verification of border gateway protocol configurations with an SMT solver;Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2016-10-19
3. Policy-based networking: applications to firewall management;Annales des Télécommunications;2004-01
4. Securing the Border Gateway Protocol: A Status Update;Communications and Multimedia Security. Advanced Techniques for Network and Data Protection;2003
5. A policy-based approach to firewall management;IFIP Advances in Information and Communication Technology;2003