RPKI增量同步Delta协议的形式化检测与实现

来源 :计算机系统应用 | 被引量 : 0次 | 上传用户:liuyunvc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现有RPKI体系中, RPKI资料库与RP服务器之间的数据同步使用开源工具Rsync,但由于RPKI体系中证书数据结构的特殊性,使用Rsync进行数据的同步不仅效率低下,而且Rsync会消耗过多的系统资源,从而使整个RPKI体系遭遇潜在的安全风险.因此, IETF针对RPKI资料库数据特征,提出增量同步Delta协议以替代Rsync在RPKI中的作用.本文详细介绍了Delta协议的工作逻辑和机制,从安全性和高效性两方面将之与Rsync进行全面对比,并使用Promela语言构建Delta协议模型,借助形式化
其他文献
伴随着《酒·饮料技术装备》杂志的成长,感受着她不断创新带来的变化。这本刊物虽然办刊时间不长,但作为行业内交流、沟通与展示的平台,给了我们全新的感觉。正可谓“起步晚
现代食品工业涵盖从农副产品到餐桌的全过程,包装日益成为至关重要的环节。包装材料、包装工艺和包装装备的日新月异延伸了食品工业的产业链,为消费者提供了更加广阔的选择空间
装箱机分箱定位形式有箱内框上部定位和箱外框底部定位两种形式。作者从5个方面对这两种分箱定位形式进行了分析,认为箱内框上部定位较为合理。
啤酒在印度市场具有无比雄厚的发展潜力,虽处成形阶段,但其行情看涨已为定局。德国新特劳普林的克朗斯股份公司视印度大陆为未来重点市场之一,与印度IDMC公司(Indian Dairy Machi
由中国饮料工业协会主办的”2007饮料、运动、健康世界论坛”于2007年6月7日在北京国际会议中心圆满落下帷幕。
宁波克浪机械制造有限公司在自主研发、设计制造的40,000瓶/时啤酒灌装生产线的基础上,2006年又进一步加大新产品研发力度,最新研制出50,000瓶/时啤酒灌装生产线。这条已被重庆啤
1.原料与酿造用水慕尼黑选育了优良的酿造专用大麦新品种,蛋白质含量较高。德国的酒花产量很大,品种亦多,既有苦味花,也有香味花,可赋于啤酒浓郁的香味。慕尼黑的啤酒工业很发达,这
本文主要比较无菌膜过滤、瞬时杀菌和隧道杀菌3种杀菌技术的不同之处.并列举出国内常用的生产线配置.以供读者参考。
在机器视觉领域,颜色恒常性是实现计算机视觉颜色校正和保持机器对颜色识别稳定性的重要因素.该模型通过心理物理实验获得由人眼感知得到的颜色恒常感知数据,将其放入神经网络中进行样本训练,并用遗传算法优化BP神经网络的连接权值和阈值.将所建立颜色恒常感知计算模型应用到图像颜色校正,通过主观和客观两个方面对校正结果进行对比评价,结果表示所建立的颜色恒常感知计算模型计算精度和效率高、复杂度低,比几种经典算法处
激光切割做为机加工领域的新技术.可解决传统机加工中难以解决的诸多弊端,从而获得事半功倍的加工效果。其性价比较高.值得推广。