ID 原文 译文
18205 对密码产品的抗侧信道攻击能力进行评估已成为密码测评的重要内容。 It has become animportant test content to evaluate the ability of cryptographic products to defend against the side channel attack.
18206 该文从攻击性测试、通用评估以及形式化验证3个角度介绍了目前密码产品抗侧信道评估的发展情况。 The development of side channel evaluation of cryptographic products is introduced from three aspectsof attack test, general evaluation and formal verification.
18207 其中攻击性测试是目前密码侧信道测评所采用的最主要的评估方式，它通过执行具体的攻击流程来恢复密钥等秘密信息。 The attack test is the most popular way adopted inside channel evaluation, which aims to recover the secret information such as the key by executing specific attack process.
18208 后两种方式不以恢复秘密信息等为目的，而是侧重于评估密码实现是否存在侧信息泄露。 The latter two methods are not for the purpose of recovering secret information, but focus onassessing whether there is any side information leakage in the cryptographic implementation.
18209 与攻击性测试相比，它们无需评估人员深入了解具体的攻击流程和实现细节，因此通用性更强。 They are more general than the attack test because they do not require the evaluator to go into the details of the attack process and implementation.
18210 通用评估是以统计测试、信息熵计算等方式去刻画信息泄露的程度，如目前被广泛采用的测试向量泄露评估(TVLA)技术。 The general evaluation is to describe the degree of information leakage by means of statistical test and information entropy calculation. For example, Test Vector Leakage Assessment (TVLA)technology is widely used at present.
18211 利用形式化方法对侧信道防护策略有效性进行评估是一个新的发展方向，其优势是可以自动化/半自动化地评估密码实现是否存在侧信道攻击弱点。 The formal method is a new development direction to evaluate theeffectiveness of side channel protection strategy which has the advantage that it can automatically/semi-automatically evaluate whether the cryptographic implementation has side channel attack vulnerability.
18212 该文介绍了目前针对软件掩码、硬件掩码、故障防护等不同防护策略的形式化验证最新成果，主要包括基于程序验证、类型推导及模型计数等不同方法。 The latest results of formal verification for different protection strategies such as software mask, hardware mask and fault protection is introduced in this paper, mainly including program verification, type inference and model counting.
18213 针对现有研究中缺乏对车辆网络切片的部署和管理，该文设计了车辆网络切片架构中的切片协调智能体。 In view of the lack of deployment and management of slicing in vehicular network, a slicecoordination agent of vehicular network slicing structure is designed.
18214 首先基于K-means++聚类算法将车联网通信业务根据相似度进行聚类并映射到对应的切片中。 Firstly, based on the K-means++clustering algorithm, the vehicle network communication services are clustered according to the similarity andthen mapped into different slices.