DR。 Mauro Cesar terence -CTO毛罗博士拥有Presbiteriana Mackenzie大学(UPM)的化学学位,博士学位,博士学位。以及圣保罗大学的核技术博士后。 他是UPM的教授25年,在那里他协调了材料工程和纳米技术的研究生课程。 他的研究着重于聚合物,电离辐射,纳米材料(石墨中的石墨烯和氧化石墨烯)和材料表征。 他参与了该项目的创建,并且是UPM的MackGraphe(石墨烯和纳米材料研究中心)的成员。。DR。 Mauro Cesar terence -CTO毛罗博士拥有Presbiteriana Mackenzie大学(UPM)的化学学位,博士学位,博士学位。以及圣保罗大学的核技术博士后。他是UPM的教授25年,在那里他协调了材料工程和纳米技术的研究生课程。他的研究着重于聚合物,电离辐射,纳米材料(石墨中的石墨烯和氧化石墨烯)和材料表征。他参与了该项目的创建,并且是UPM的MackGraphe(石墨烯和纳米材料研究中心)的成员。他参与了矿业项目Noovamineração和AquanitásHolding。此外,毛罗(Mauro)还从CNPQ - 巴西获得了他对技术发展和创新的贡献。
摘要-5G通过在我们的日常生活中与各种服务融合,可以作为变革性数字创新的催化剂。这种范式移动的成功无可否认地取决于稳健的安全措施,并具有主要的身份验证 - 符合对5G网络的访问权限 - 至关重要。两个协议,5G身份验证和关键协议(5G-AKA)以及用于身份验证和关键协议Prime(EAP-AKA')的可扩展的身份验证协议,已为此目的进行了标准化,前者是为第三代合作项目(3GPP)设备设计的,而非3GPP设备的后者则为非3GPP设备。但是,最近的研究暴露了5G-AKA协议中的漏洞,使其容易受到安全漏洞的影响,包括可连接性攻击。此外,量子计算的广告构成了巨大的量子威胁,强调了迫切需要采用抵抗量子的加密机制。尽管已标准化了量子后加密(PQC),但缺乏现实部署限制了其可靠的鲁棒性。相比之下,在数十年的实际应用中,便会加密方案表现出可靠性。为了解决这一差距,互联网工程工作组(IETF)启动了混合PQC算法(HPQC)的标准化,结合了经典和抗量子的技术。因此,确保在5G-AKA协议中确保对量子威胁的前瞻性和弹性至关重要。为了应对这些安全挑战,我们提出了5G-AKA-HPQC协议。结果证实了协议的安全性和正确性。我们的协议旨在通过结合通过椭圆曲线集成的加密方案(ECIE)与源自PQC-key封装机制(KEM)进行协商的密钥来维持与现有标准的兼容性。为了严格而全面地验证5G-AKA-HPQC的安全性,我们采用了正式的验证工具,例如SVO Logic和Proverif。此外,性能评估突出了5G-AKA-HPQC固有的计算和通信开销。此分析表明该协议如何有效地平衡安全性和效率。总而言之,我们的研究提供了对安全,量子安全身份验证协议设计的重要见解,并为移动电信的安全身份验证和关键协议协议的未来标准化奠定了基础。
HPQA具有可变的速度电机,可高速行驶,集成的操纵杆至40mm/s。用户可以通过传统的主轴快速准确地设置标准粘度测试。消除手动调整效果,触摸屏接口允许用户创建可编程的高度位置,以快速而有效地进行重复测试。单打主页按钮允许支架自动驾驶到顶部(家庭)位置,以便于纺锤清理和样品更改。