【摘 要】
：
为了解决深化“互联网+先进制造业”进程中网络可信互连问题,引入了可信连接架构(trusted connect architecture,简称TCA)技术.基于TCA技术思想,针对网络间可信认证需求,设计
【基金项目】
：
青海省自然科学基金(2017-ZJ-912),北京市自然科学基金(4162006)
论文部分内容阅读
为了解决深化“互联网+先进制造业”进程中网络可信互连问题,引入了可信连接架构(trusted connect architecture,简称TCA)技术.基于TCA技术思想,针对网络间可信认证需求,设计了一种支持网络间互连的可信连接协议(TCA-SNI).引入了网络间双向认证过程,给出了TCA-SNI协议的交互过程;使用扩展的SVO逻辑系统对协议进行逻辑推理,证明该协议是安全可靠的;使用Dolev-Yao攻击者模型对协议进行攻击测试,实验结果表明,协议的安全目标均已达成,证明该协议可以抵御真实网络中的攻击
其他文献
经济全球化大大加快了高等教育的国际化步伐，实施中外合作办学已经成为目前高校引进优质国外教育资源的重要途径。本文结合淮阴工学院计算机工程学院开展的中外合作办学项目展
为了检测软件系统中存在错误参数的函数调用,提出了一种基于关联分析和N-Gram语言模型的静态检测方法(ANiaD).基于海量开源代码,构建了关联分析模型以挖掘参数间存在的强关联
直升生如何教育是中职教育中的一个突出问题，本文以我校直升生教学实践为依据．从直升生教学的现状出发，就当前存在的主要问题，探索改进直升生教学的几种方法．
静以修身,俭以养德——诸葛亮《诫子书》。中国传统思想中的节俭是一种美德。在现代包装设计中节俭的思想同样重要。环境保护和低碳生活的主流社会发展形势将成为包装设计的
中专学校的目标和特点决定了它比其他教学领域更需要，更易于推行一些新的教学理念和方法。本文阐述了采用以提高学生实用口语交际能力为核心的中专英语教学新模式。
基于人类视觉注意机制的显著性对象检测模型作为能主动感知图像中重要信息的有效方法,对探索视觉早期认知过程的大范围知觉信息组织具有重要意义.然而,由于夜间图像具有低信噪比和低对比度特性,现有的视觉显著性对象检测模型在夜间场景中容易受到噪声干扰、弱纹理模糊等多方面因素的影响.有鉴于此,提出一种基于区域协方差和全局搜索的夜间图像显著性对象检测方法.首先,将输入图像分割为超像素块,并分别计算它们的协方差.然
随着商品混凝土的迅速推广应用，散装水泥的使用也迅速普及，大型水泥厂散装水泥的产量已经占90％左右。散装水泥具有运输方便，节省能源，降低成本，减少污染等优势。但是，因为商品混凝土
学生学习兴趣日益锐减是当前高职语文教学存在的重要问题。为了激发学生的学习积极性，提高其综合素质，文章结合语文学科的时空性，提出了拓展高职语文教学时空的几个方面即课堂拓