摘要:为了解决深化“互联网+先进制造业”进程中网络可信互连问题，引入了可信连接架构（trusted connect architecture，简称TCA）技术.基于TCA技术思想，针对网络间可信认证需求，设计了一种支持网络间互连的可信连接协议（TCA-SNI）.引入了网络间双向认证过程，给出了TCA-SNI协议的交互过程；使用扩展的SVO逻辑系统对协议进行逻辑推理，证明该协议是安全可靠的；使用Dolev-Yao攻击者模型对协议进行攻击测试，实验结果表明，协议的安全目标均已达成，证明该协议可以抵御真实网络中的攻击.
Abstract:Trusted connect architecture (TCA) technology was introduced to solve the problem of trusted connect between networks in "Pushing Forward the Internet plus Advanced Manufacturing" plan. Based on the idea of TCA technology, this study proposed a trusted connection protocol (TCA-SNI) for trusted authentication and evaluation between networks. The two-way authentication process is introduced and the interaction of TCA-SNI is given. The extended SVO logic system is used to infer the protocol logicalness, which proves that the protocol is safe and reliable. The protocol is detected using the Dolev-Yao model. Experimental results show that the proposed protocol has achieved the security goal, and can withstand attacks in the real network.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5603
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
一种网络间可信连接协议
本站小编 Free考研考试/2022-01-02
相关话题/网络 技术 过程 系统 设计
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19基于模型学习的OpenVPN系统脆弱性分析
摘要:OpenVPN在现实网络中有广泛应用，对其安全性进行评估具有重要的现实意义.基于自动机理论中模型学习的方法，利用协议状态模糊测试的技术对OpenVPN系统进行黑盒测试分析，自动化推演出目标OpenVPN系统的状态机.提出了状态机时间压缩模型并进行冗余状态和迁移化简，可以准确得到协议状态机中的行 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02节点不对称转移概率的网络社区发现算法
摘要:社区发现是当前社会网络研究领域的一个热点和难点，现有的研究方法包括：（1）优化以网络拓扑结构为基础的社区质量指标；（2）评估节点间的相似性并进行聚类；（3）根据特定网络设计相应的社区模型等.这些方法存在如下问题：（1）通用性不高，难以同时在无向网络和有向网络上发挥出好的效果；（2）无法充分利用 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02移动社交网络中矩阵混淆加密交友隐私保护策略
摘要:随着移动设备和在线社交网络的快速发展，通过用户的个人属性配置文件匹配，能够帮助用户在邻近的社交网络中迅速找到和自己共同特征的朋友.然而，交友匹配很有可能泄漏用户的敏感信息，因此用户隐私得不到保障.提出一种移动社交网络中交友匹配过程中的隐私保护协议，用户利用混淆矩阵变换算法和内积计算实现交友过程 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向人机对话意图分类的混合神经网络模型
摘要:随着人机对话的不断发展，让计算机能够准确地理解用户查询意图，对整个人机对话领域都有着重要意义.意图分类的主要目标是在人机对话的过程中判断用户的意图，提升人机对话系统的准确度与自然度.首先分析多个分类模型在意图分类任务上的优缺点.在此基础上，提出一种混合神经网络模型，综合利用多个深度网络模型的多 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于噪声数据与干净数据的深度置信网络
摘要:建立以受限玻尔兹曼机（restrictedBoltzmannmachine，简称RBM）为基石的深度网络模型，是深度学习研究的热点领域之一.Point-wiseGated受限玻尔兹曼机（point-wisegatedRBM，简称pgRBM）是一种RBM的变种算法.该算法能够在含噪声的数据中自适 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02引入序列信息的残基相互作用网络比对算法
摘要:残基相互作用网络比对，对于研究蛋白质结构与功能的关系具有重要意义.在基于网络拓扑信息进行网络比对的MAGNA算法基础上，将蛋白质的序列信息（即残基匹配度）引入到其优化函数中，确定拓扑信息和序列信息对比对的影响程度，提出适合于残基相互作用网络比对的SI-MAGNA算法.实验结果表明，SI-MAG ...中科院软件研究所 本站小编 Free考研考试 2022-01-02多传感器辅助的WiFi信号指纹室内定位技术
摘要:近年来，基于室内定位的应用服务越来越普及，吸引了大量的研究工作.其中，基于WiFi信号指纹的室内定位技术发展尤为迅速.但无线信号传输易受环境影响，会导致WiFi信号指纹定位存在偏差.为了提高定位精度并减小环境因素带来的不利影响，提出了智能手机内置传感器辅助WiFi信号指纹定位的方法，即利用智能 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件定义网络中延迟满足的路由选择与实时调度更新
摘要:由于数据流的动态性和流量负载转移，软件定义网络（softwaredefinednetworking，简称SDN）需要频繁更新数据平面以优化网络性能.大多数已有路由更新策略首先根据网络当前流量状态确定目标路由配置，然后更新数据流的路由.然而，由于交换机基于TCAM（ternarycontenta ...中科院软件研究所 本站小编 Free考研考试 2022-01-02公交网络下的一种费用限制最小时态路径查询索引
摘要:私人交通网络下的最短路径查询主要考虑路径长度、行驶时间等因素，而公共交通网络下的路径查询需要考虑路径上相邻的边的时间顺序约束以及路径的费用.研究了公共交通网络下3种查询：给定起点、终点、时间区间和费用上限，查找在时间区间内不超过费用上限的最早到达路径、最晚出发路径和最短耗时路径.首先给出一种D ...中科院软件研究所 本站小编 Free考研考试 2022-01-02一种多通路的分区域快速妆容迁移深度网络
摘要:妆容迁移是指把参考妆容迁移到素颜人脸上，并保持其上妆风格的一种任务.它提供了快速高效的候选妆容可视化的解决方案，得到了学术界和工业界的广泛关注.为了解决真实同人异妆数据的缺失，以及现有妆容迁移方法没有充分考虑人与人的五官差异而导致的迁移脸部结构丢失等问题，提出了一种多通路的分区域快速妆容迁移深 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
