共 41 条
[1]
Al-Shaer E., 2010, P 3 ACM SAFECONFIG W
[2]
Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security
[J].
2009 17TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP 2009),
2009,
:123-+
[3]
[Anonymous], 2013, PROC ACM SIGCOMM WOR
[4]
[Anonymous], 2007, P 16 USENIX SEC S US
[5]
[Anonymous], BEACON
[6]
[Anonymous], 2013, NDSS
[7]
Anwer B, 2013, P 2 ACM SIGCOMM WORK
[8]
Cai Z., 2010, Tech. Rep.
[9]
Canini M., 2012, P S NETW SYST DES IM P S NETW SYST DES IM
[10]
Casado M, 2006, USENIX ASSOCIATION PROCEEDINGS OF THE 15TH USENIX SECURITY SYMPOSIUM, P137