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

发布时间：2018-06-19 02:21

本文选题：互联网体系结构 + 通用框架　；参考：《计算机研究与发展》2017年05期

【摘要】：地址机制作为互联网体系结构中的核心组成部分,其演进性决定了对上层网络创新应用的承载能力.传统IP地址的缺陷导致当前互联网陷入僵化,大量新型地址机制的异构性使研究者很难以统一方法论解释和把握未来互联网地址体系的演进发展.针对上述问题,通过对互联网地址机制的演化进行深入研究,抽象最小化核心特征,提出一种能够容纳异构地址策略构建乃至并存的通用框架,包括:1)完备的形式化概念模型,赋予地址常量的精确定义,并形成相关设计原则及约束规范的一致性理论基础;2)抽象多维度、可扩展的接口原语以构建3种核心交互模式,并结合通信公理化性质以及语义,构造一个地址交互过程的正确性证明框架;3)推导出通用地址引擎原型,允许灵活构建地址策略,支持异构地址机制的评估、演进以及共存,以更好地支撑互联网顶层生态的不断演化.
[Abstract]:Address mechanism is the core component of Internet architecture, and its evolution determines the carrying capacity of innovative applications in the upper network. The defect of traditional IP address leads to the current Internet getting into inflexibility. The heterogeneity of a large number of new address mechanisms makes it difficult for researchers to explain and grasp the evolution and development of Internet address system in the future with unified methodology. In order to solve the above problems, this paper studies the evolution of Internet address mechanism, abstracts and minimizes the core features, and proposes a general framework that can accommodate the construction and coexistence of heterogeneous address policies, including a complete formal conceptual model, which includes: 1). It gives precise definition of address constant and forms the consistency theory foundation of relevant design principles and constraint specifications. It is an abstract multi-dimensional, extensible interface primitive to construct three core interaction patterns, and combine the axiomatic properties and semantics of communication. The prototype of the generic address engine is derived, which allows the flexible construction of address policies, and supports the evaluation, evolution and coexistence of heterogeneous address mechanisms. In order to better support the top of the Internet ecological evolution.
【作者单位】：清华大学计算机科学与技术系;
【基金】：国家自然科学基金面上项目(61170292,61472212) 国家科技重大专项基金项目(2015ZX03003004) 国家“八六三”高技术研究发展计划基金项目(2013AA013302,2015AA015601) 国家“九七三”重点基础研究发展计划基金项目(2012CB315803) 欧盟CROWN基金项目(FP7-PEOPLE-2013-IRSES-610524) 清华信息科学与技术国家实验室(筹)学科交叉基金项目~~
【分类号】：TP393.02

【相似文献】