XiaoMi-AI文件搜索系统
World File Search SystemIETF
IETF RFP用于网络安全测试服务IETF RFP用于网络安全测试服务
Internet工程工作组（IETF）是创建开放协议的首映式互联网标准机构，以确保全球互联网建立在最高质量的技术标准上。这些标准是由粗略共识并由运行代码所告知的，是由来自世界各地的领先工程和技术专家的大型志愿者社区开发的。IETF流程是开放且透明的，任何人都可以自由使用IETF标准。
IETF Hackathon -Ultra低延迟加密，Ision
•基于加密排列的AES指令•可以将Asion应用于加密和哈希 - 有关更多详细信息，请参阅IETF117 Hackathon幻灯片和I-D
如何在IETF
基于代码的游戏证明[3]。游戏玩法是建立加密协议的综合安全属性的众所周知的范例。在此范式中，安全目标和执行环境被建模为攻击者玩的游戏。安全证明将攻击者赢得游戏的胜利与一个或多个假定的硬问题的难度相关，例如破解AES或在协议使用的晶格上找到简短的向量。游戏通常以代码而不是自然语言表示，这使得它们可以通过以下证明策略进行修正。证明由有限的游戏序列（有时称为混合动力）组成，从定义安全性的游戏开始。每个游戏都是通过重写上一张代码来获得的，直到在最后一场游戏中，攻击者与某些理想化的系统进行了互动，而该系统没有希望破裂的理想化系统。证明证明，对于每对相邻游戏，攻击者之间在攻击者之间的可能性可以忽略不计。这是通过各种方式完成的：有时重写（也称为跳跃或过渡）会导致语义上等效的游戏，在这种情况下，没有攻击者可以区分它们；其他重写会导致仅出现较小概率的可区分事件，例如随机Oracle范围内的碰撞；还有一些通过将某些假定的硬问题减少到游戏之间的界限，从而在计算上受到限制。近年来，尤其是一般的安全性和游戏证明的证明是在IETF指定的协议的设计和分析中起着越来越多的核心作用。我们已经看到工作组从反应转变为攻击，并在设计阶段主动排除（类）攻击[13]。实际上，此过程甚至已在TLS工作组[7]中正式化。尽管此类步骤在防止攻击方面有很长的路要走，但可证明的安全方法具有一些众所周知的局限性[4]。我们在这里考虑其中之一。
数字地图IETF Hackathon
•目标是证明操作员如何使用IETF拓扑模型来代表真正的运营商IP/MPLS网络。•我们要证明RFC8345是否是代表数字地图多层拓扑的合适标准，并在有和没有确定的差距的情况下显示模型比较。•这是第一次迭代，黑客马拉松将在IETF121及以后继续•涉及哪些草稿/RFC（初始集）
技术论文 - 使用 IETF QUIC 加速...
QUIC 是 Google 于 2013 年首次发布的传输层协议（称为 gQUIC），旨在替代 TCP/TLS 以加速 HTTP 流量。该协议通过 UDP 工作，具有低延迟连接建立和数据传输、易于部署、多路复用以及增强的安全性等特点。经过多年的实验，互联网工程任务组 (IETF) 采纳了这个想法，并将其发展为一个全面的规范，IETF QUIC 于 2021 年正式发布为 RFC9000。HTTP/3 的 RFC9114 将于次年基于 QUIC 发布。有多个 SSL 库，包括 BoringSSL、OpenSSL 的变体、NSS 等，它们与各种 QUIC 传输实现相结合，为 Web 服务器或客户端中的 HTTP/3 提供支持。继基于 OpenSSL 的异步 NGINX 加速 [1] 之后，本文重点介绍 NGINX-QUIC 与 BoringSSL 库的加速。它强调了基于 OpenSSL 的 TLS 和基于 BoringSSL 的 QUIC 之间的区别，探讨了异步英特尔® QAT 加速与 NGINX-QUIC 的设计和使用，以提供低连接建立延迟和高性能。
使用模板 mhl.format - IETF
¯ Dennis Ferguson (多伦多大学) 撰写的关于加拿大国家网络 CA*net 的出色报告。¯ 审查 IP over SMDS 的草案提案。¯ 决定起草一份与路由器要求文档分开的链路层要求文档。还有一项提案将所有 IP 特定问题合并到单独的文档中，以供路由器要求（以及可能的未来版本的主机要求）参考。这些新努力将继续成为路由器要求工作组的一项举措。¯ 路由器发现工作组即将结束。¯ 重组 PDN 路由工作组，以包括除 X.25 之外的其他公共网络（例如 SMDS）。¯ 网络联合监测工作组内部讨论共同的监测和报告格式。我们还讨论了如何最有效地组织和利用 IETF 运营区域（参见运营区域报告）。¯ 宣布 IAB 建议和 FNC 协议，以消除 NIC 分配网络号的“连接状态”概念。随着 FNC 接受此建议，MERIT 将宣布这将如何影响他们在策略路由数据库中注册网络的策略。