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

摘要：

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

关键词：互联网体系结构、通用框架、形式化、地址机制、正确性证明

所属期刊栏目：54

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金面上项目61170292,61472212;国家科技重大专项基金项目2015ZX03003004;国家“八六三”高技术研究发展计划基金项目2013AA013302,2015AA015601;国家“九七三”重点基础研究发展计划基金项目2012CB315803;欧盟CROWN基金项目FP7-PEOPLE-2013-IRSES-610524;清华信息科学与技术国家实验室筹学科交叉基金;the General Program of the National Natural Science Foundation of China61170292,61472212;the National Science and Technology Major Project of China2015ZX03003004;the National High Technology Research and Development Program of China 863 Program2013AA013302,2015AA015601;the National Basic Research Program of China 973 Program2012CB315803;the EU Marie Curie Actions CROWNFP7-PEOPLE-2013-IRSES-610524;the Multidisciplinary Fund of Tsinghua National Laboratory for Information Science and Technology

在线出版日期：2017-06-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：940-951