网络间可信连接协议：设计与安全性验证

本文档探讨了一种名为"TrustedConnectionProtocol Between Networks" (TCA-SNI) 的网络间可信连接协议，它是在深入研究"互联网+先进制造业"进程中遇到的网络可信互连问题的解决方案。TCA-SNI协议的设计灵感来源于可信连接架构（Trusted Connect Architecture, TCA），旨在提供网络间安全、可靠的信任连接。 TCA-SNI协议的核心理念在于实现网络间的双向认证，确保通信双方的身份验证和数据完整性。在协议的设计过程中，通过扩展SVO（System of Values with Observers）逻辑系统，对协议进行了深入的逻辑推理，证明了该协议具有高度的安全性和可靠性。SVO是一种用于形式化验证的工具，通过这种系统，研究者能够确保协议在面对潜在威胁时能够有效防御。 为了进一步评估TCA-SNI的防护能力，论文采用Dolev-Yao攻击者模型进行了模拟攻击测试。实验结果显示，协议成功抵御了多种网络攻击，达到了预定的安全目标，这表明该协议在实际网络环境中具备实战价值。 关键词方面，文章提及了可信连接架构（TCA）、可信计算、可信连接协议以及SVO和AVISPA等关键概念。SVO是用于建立信任模型的基础工具，而AVISPA是一个流行的自动安全验证平台，它们在协议的安全性分析中起到了重要作用。 该研究成果发表在《软件学报》（Journal of Software）上，2019年第12期，卷30，页码3730-3749，且提供了相应的在线链接。引用格式包括中文和英文两种，方便读者查阅和引用。 总结来说，这篇论文主要贡献了一个实用的网络间可信连接协议，解决了互联网与制造业融合过程中的信任问题，并通过严谨的逻辑推理和安全测试验证了其在真实网络环境中的可行性。这对于网络安全领域的研究和实践具有重要的理论和应用价值。