可扩展的网络验证技术：研究现状与发展趋势

摘要： 互联网作为国家信息基础设施的重要组成部分，已经在各个领域发挥着巨大的作用.随着其规模不断扩大和应用持续深入，我们也面临着意图不一致的网络行为可能导致的灾难性危害.为了确保互联网的正常运行和网络行为的一致性，我们迫切需要可部署的网络验证技术，以确保网络运行时的行为与网络运维人员的意图一致.当前已经有许多关于网络验证技术的研究，这些研究帮助用户实现自动检测网络错误，并进一步分析错误... （共20页）