罗伯托·西维诺;里卡多·隆戈 拓扑网络上方案的形式安全证明。 （英语） 兹比尔1517.94084 高级数学。Commun公司。 17，第3期，562-571（2023）. 摘要：在资源受限设备的加密网络中，密钥分配和密钥维护可能是一项具有挑战性的任务，因为永久需要用新设备替换停用设备，并且随后需要更新密钥信息。最近，R.阿拉戈纳等[J.离散数学科学密码学25，No.8，2429-2448（2022；Zbl 1504.94094号)]提出了一种新的加密方案ECTAKS，该方案通过基于椭圆曲线和素数域的类Diffie-Hellman密钥建立协议来解决这个设计问题。即使作者证明了一些与方案安全性相关的结果，后者仍然缺乏正式的安全分析。在本文中，我们通过在计算安全的背景下为ECTAKS提供安全性证明来解决这个问题，假设没有对手能够以不可忽略的成功概率解决潜在的离散对数问题。 MSC公司： 94A60型 密码学 94A62型 身份验证、数字签名和秘密共享 94C15年 图论在电路和网络中的应用 68第25页 数据加密（计算机科学方面） 14H52型 椭圆曲线 2007年11月 局部场上的椭圆曲线 关键词：密钥建立协议;椭圆曲线密码;离散对数问题;形式安全;密钥恢复;密钥不可区分性 引文：Zbl 1504.94094号 PDF格式BibTeX公司 XML格式引用 \textit{R.Civino}和\textit{R.Longo}，高级数学。Commun公司。17，第3号，562--571（2023；Zbl 1517.94084） 全文： 内政部 参考文献： [1] R.Aragona，R.Civino，N.Gavioli和M.Pugliese，拓扑网络椭圆曲线上的认证密钥方案，预印本，arXiv:2006.02147。出现在离散数学科学杂志&密码学·Zbl 1504.94094号 [2] D.Boneh，决策Diffie-Hellman问题，算法数论（俄勒冈州波特兰市），计算机课堂讲稿。科学。，1423年，施普林格，（1998），48-63·Zbl 1067.94523号 [3] W.M.E.Diffie Hellman，密码学新方向，IEEE Trans。通知。理论，22644-654（1976）·Zbl 0435.94018号 ·doi:10.1109/tit.1976.1055638 [4] S.Marchesani、L.Pomante、M.Pugliese和F.Santucci，无线传感器网络基于拓扑的加密方案的定义和开发传感器系统和软件《施普林格国际出版》（2013），第47-64页。 [5] S.Marchesani，L.Pomante，F.Santucci和M.Pugliese，现实世界无线传感器网络应用的密码方案ACM/IEEE第四届网络物理系统国际会议记录计算机协会，2013年。 [6] M.Pugliese，无线传感器网络高级应用中的安全管理问题，博士论文，拉奎拉大学电气工程与计算机科学系，2008年，网址：https://mpugliese.webnode.it/_files/200000061-a7608a760b/24。 [7] J.H.Silverman，椭圆曲线的算法，Springer Verlag，纽约，《数学研究生文本》，2009年·Zbl 1194.11005号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。