摘要：
由于网络中路由协议执行的时序不一致原因，产生了例如经典的route update racing问题，最后产生多种可能的数据平面行为，为网络的验证带来不确定性；此外，网络验证中对于K-failure问题，一些工具例如Batfish采用枚举验证的方式，对于大规模网络存在scalability问题，效率不 阅读全文
摘要：
Plankton: Scalable network configuration verification through model checking 背景 对支持充分多路由协议的大规模网络配置验证工作仍具有挑战。 已有研究 离线数据平面验证：Anteater， HSA 配置分析工具：Batfis 阅读全文
摘要：
密码学——AES加密算法 AES加密算法就是众多对称加密算法中的一种，它的英文全称是Advanced Encryption Standard，翻译过来是高级加密标准，它是用来替代之前的DES加密算法的。AES加密算法采用分组密码体制，每个分组数据的长度为128位16个字节，密钥长度可以是128位16 阅读全文
摘要：
密码学——DES加密算法 DES 算法是一种常见的分组加密算法，由IBM公司在1971年提出。DES 算法是分组加密算法的典型代表，同时也是应用最为广泛的对称加密算法。本文将详细讲述DES 的原理以及实现过程。 概念 对称加密 通信双方同时掌握一个密钥，加密解密都是由一个密钥完成的（即加密密钥等于解 阅读全文
摘要：
Fast Control Plane Analysis Using an Abstract Representation 论文链接 背景 state-of-art verifiers 【Batfish】 are either too slow or impractical to use for pr 阅读全文
摘要：
第一章：快速认识线程 线程的生命周期 线程的生命周期大体可以分为5个主要的阶段： NEW RUNNABLE RUNNING BLOCKED TERMINATED Runnable 接口 重写Thread类的run方法和实现Runnable接口的run方法的区别： Thread类的run方法是不能够共 阅读全文
摘要：
Accuracy, Scalability, Coverage – A Practical Configuration Verifier on a Global WAN 论文链接 背景 阿里WAN涉及的路由技术：Static/BGP/IS-IS+ACL； 配置验证面临的挑战： 控制平面仿真的正确性， 阅读全文
摘要：
使用命名组合来解析结构化的文本数据 有时候我们拿到的数据是以文本的形式逐条列出，而在输出文本时为了增加可读性，可能会将数据元素的描述信息写入进去，这样的结构化数据方便人工识别，但是对于数据的二次利用远不如csv,json等结构化数据好用，为了提取其中有用的信息，可以使用python正则库中命名组合的 阅读全文
摘要：
Python面向对象程序设计进阶 继承自Object类的四个特殊方法 __init__() 在创建对象时（比如p = Shape.Point()），首先调用特殊方法__new__()来创建该对象，之后调用特殊方法__init__()对其进行初始化。 __eq__() 默认情况下，自定义类的所有实例都 阅读全文
摘要：
proof-theoretic ways to derive facts bottom up: starting from the known facts and deriving all possible new facts technique: fixpoint top-down: starti 阅读全文