XiaoMi-AI文件搜索系统
World File Search SystemETSI
对标准 QKD 协议的 ETSI 提案进行形式化验证
密钥交换协议允许事先互不相识的双方共享一个公共加密密钥，以便随后交换对称加密消息。当前的密钥交换协议基于公钥加密。因此，它们的安全性基于知道公钥、找到私钥或用公钥加密的密钥的难度。随着量子计算机的出现，当前的非对称算法将不再提供这样的保证 [1]。量子密钥分发协议（量子密钥分发，QKD）的安全性基于量子物理的特性，特别是不可克隆定理 [2]；该定理指出，不可能完美地克隆粒子（量子比特）的量子态。如果攻击者试图读取两个参与者交换的量子比特（通常是光子的偏振态），那么她必然会修改量子态，因此可以即时检测到。然而，QKD 的局限性之一仍然是双方可以交换的最大地理距离，目前为几百公里 [3]。ETSI 提出了 QKD 网络的协议标准 [4]。在这里，我们建议使用 ProVerif 工具对其进行正式验证。
ETSI TS 119 312 V1.5.1（2024-12） div>
选择加密套件以申请数字签名是实施数字签名的产品和服务的重要业务参数。本文档提供了有关选择密码套件的指导，特别着重于互操作性。本文档基于SOG-IS加密评估方案的指定商定的加密机制[14]。SOG-IS加密WG负责提供与IT产品的常见标准安全评估的密码方面有关的要求和评估程序。To avoid conflicts between the evaluation of security product for qualified trust services and the recommendation given in the present document, the ETSI Technical Committee Electronic Signatures and Trust Infrastructures (ESI) decided to refer for the trust services [i.12], article 3 (16a) consisting of creation, verification, and validation of electronic signatures, electronic seals and electronic time stamps, electronic registered delivery services and certificates related to those services to the SOG-IS加密评估方案[14]。
基于 ETSI DVB-S2 标准的 CCSDS 空间链路协议
– 奥地利空间局 (ASA)/奥地利。 – 比利时科学政策办公室 (BELSPO)/比利时。 – 中央机械制造研究院 (TsNIIMash)/俄罗斯联邦。 – 中国卫星发射和跟踪控制总院、北京跟踪和通信技术研究所 (CLTC/BITTT)/中国。 – 中国科学院 (CAS)/中国。 – 中国空间技术研究院 (CAST)/中国。 – 英联邦科学与工业研究组织 (CSIRO)/澳大利亚。 – 丹麦国家空间中心 (DNSC)/丹麦。 – 航空航天科学和技术部 (DCTA)/巴西。 – 电子和电信研究所 (ETRI)/韩国。 – 欧洲气象卫星应用组织 (EUMETSAT)/欧洲。 – 欧洲通信卫星组织 (EUTELSAT)/欧洲。 – 地理信息和空间技术发展局 (GISTDA)/泰国。 – 希腊国家空间委员会 (HNSC)/希腊。 – 希腊空间局 (HSA)/希腊。 – 印度空间研究组织 (ISRO)/印度。 – 空间研究所 (IKI)/俄罗斯联邦。 – 韩国航空宇宙研究院 (KARI)/韩国。 – 通信部 (MOC)/以色列。 – 穆罕默德·本·拉希德航天中心 (MBRSC)/阿拉伯联合酋长国。 – 国家信息和通信技术研究所 (NICT)/日本。 – 国家海洋和大气管理局 (NOAA)/美国。 – 哈萨克斯坦共和国国家空间局 (NSARK)/哈萨克斯坦。 – 国家空间组织 (NSPO)/中国台北。 – 海军空间技术中心 (NCST)/美国。 – 荷兰空间办公室 (NSO)/荷兰。 – 粒子与核物理研究所 (KFKI)/匈牙利。 – 土耳其科学技术研究理事会 (TUBITAK)/土耳其。 – 南非国家空间局 (SANSA)/南非共和国。 – 空间与高层大气研究委员会 (SUPARCO)/巴基斯坦。 – 瑞典空间公司 (SSC)/瑞典。 – 瑞士空间办公室 (SSO)/瑞士。 – 美国地质调查局 (USGS)/美国。
ETSI 标准化生态系统：
• 被公认为负责 ICT 的欧洲标准组织。 • 独立的非营利组织 • 拥有来自 5 大洲 60 多个国家/地区的 900 多个成员组织 • 30 多年来在 ICT 领域拥有卓越的技术记录 • 强大的专家和创新者社区 • 代表所有 ICT 利益相关者：中小企业、微型企业、大型企业、研究机构、学术界、政府和公共机构、社会利益相关者
ETSI STF 655智能合约标准
** c o m p o t e r p r o g r a m **用于使用一系列电子数据记录并确保其完整性和时间顺序排列的准确性，用于自动执行协议或其部分。
ETSI TR 104 062 V1.2.1（2024-07）
出于任何特定目的或反对侵犯知识产权的权利。在任何情况下，ETSI均不得损失利润或任何其他附带或结果损失。在没有明示或不限的任何保证（包括但不限于适用性的保证，特定目的的适用性以及对知识产权和ETSI的不侵犯）的保证中，不得对任何事件均不承担任何责任（包括任何损害，包括任何损害，或不限制任何损害，损害损失，损害损失，或者不应承担任何责任，与使用
GR F5G 020 -V1.1.1
本文档解决了基于AI的多媒体身份表示的问题和问题。由于将AI应用于以不同媒体格式（尤其是音频，视频和文本）代表的生成或修改数据的问题，因此出现了新的威胁，这些威胁可能会导致各种环境中的重大风险，范围从个人诽谤，从银行账户开设虚假身份（通过攻击虚假身份）（通过对生物身份验证程序的攻击）到竞选活动的攻击到竞争的信息，到竞争性的信息进行了虚假的信息，以置于虚假信息中。AI技术可用于操纵真实的多媒体身份表示或创建假的身份。此类操作的可能输出包括视频或音频文件，这些视频或音频文件表明人们在做或说出他们从未做过或实际上说过的事情。由于通常使用深层神经网络（DNN）来产生此类输出，因此通常称为“深击”。
TR 103 943 -V1.1.1
本可交付的信息仅针对具有适当经验的专业人员，可以根据公认的工程或其他专业标准和适用的法规理解和解释其内容。没有建议或应暗示产品和服务或供应商的建议。在任何情况下，ETSI均不得损失利润或任何其他附带或结果损失。在没有明示或不限的任何保证（包括但不限于适用性的保证，特定目的的适用性以及对知识产权和ETSI的不侵犯）的保证中，不得对任何事件均不承担任何责任（包括任何损害，包括任何损害，或不限制任何损害，损害损失，损害损失，或者不应承担任何责任，与使用