朱 亮 徐 恪 徐 磊

(清华大学计算机科学与技术系 北京 100084)(tshbruce@gmail.com)

一种形式化的互联网地址机制通用框架

朱 亮 徐 恪 徐 磊

(清华大学计算机科学与技术系 北京 100084)(tshbruce@gmail.com)

地址机制作为互联网体系结构中的核心组成部分，其演进性决定了对上层网络创新应用的承载能力.传统IP地址的缺陷导致当前互联网陷入僵化，大量新型地址机制的异构性使研究者很难以统一方法论解释和把握未来互联网地址体系的演进发展.针对上述问题，通过对互联网地址机制的演化进行深入研究，抽象最小化核心特征，提出一种能够容纳异构地址策略构建乃至并存的通用框架，包括：1) 完备的形式化概念模型，赋予地址常量的精确定义，并形成相关设计原则及约束规范的一致性理论基础；2) 抽象多维度、可扩展的接口原语以构建3种核心交互模式，并结合通信公理化性质以及语义，构造一个地址交互过程的正确性证明框架；3) 推导出通用地址引擎原型，允许灵活构建地址策略，支持异构地址机制的评估、演进以及共存，以更好地支撑互联网顶层生态的不断演化.

互联网体系结构；通用框架；形式化；地址机制；正确性证明

以IP地址机制为核心的互联网体系结构取得了巨大成功，既能兼容异构的底层技术，也支撑着层出不穷的网络应用，保证了互联网的泛在连接性和旺盛的生命力.随着互联网与经济、社会以及传统行业各领域的深度融合，“互联网+”代表着一种新的……