2026年应用密码学试题(附答案)

2026年应用密码学试题(附答案)一、单项选择题（共10题，每题2分，总计20分）1.2024年NIST正式发布的后量子公钥加密/密钥协商标准算法是以下哪一项？A.CRYSTALS-DilithiumB.CRYSTALS-KyberC.SPHINCS+D.Falcon答案：B解析：A选项CRYSTALS-Dilithium为NIST选定的通用数字签名后量子标准，C选项SPHINCS+为无状态哈希签名标准，D选项Falcon为轻量化高安全签名标准，仅B选项CRYSTALS-Kyber为公钥加密与密钥协商场景的官方标准，当前已被谷歌、微软等厂商纳入TLS1.3默认密钥协商套件。2.以下哪类同态加密算法支持对密文执行任意次数的加法与乘法运算，无需提前限定运算深度？A.部分同态加密B.类同态加密C.全同态加密D.半同态加密答案：C解析：部分同态加密仅支持单一类型运算（仅加法或仅乘法），类同态加密支持有限次数的混合运算，半同态加密通常指代仅支持加法、可执行明文乘法的Paillier等算法，只有全同态加密支持任意深度的混合运算，适配所有密文计算场景。3.攻击者通过统计密码算法执行加密操作的耗时差异推导密钥信息，该类攻击属于以下哪一类别？A.唯密文攻击B.选择明文攻击C.侧信道攻击D.选择密文攻击答案：C解析：唯密文、选择明文、选择密文攻击均属于基于密文、明文对的数学攻击范畴，而计时攻击、功耗攻击、电磁攻击均属于利用密码设备运行时物理泄露信息的侧信道攻击，无需破解算法本身的数学安全性即可获取密钥。4.零知识证明的三大核心特性中，“不具备对应知识的证明者无法通过验证”对应的是以下哪一项？A.完备性B.可靠性C.零知识性D.不可伪造性答案：B解析：完备性指代拥有合法知识的证明者一定能通过验证，可靠性指代无合法知识的证明者几乎不可能通过验证，零知识性指代验证过程不会泄露任何除“证明者拥有合法知识”之外的额外信息，不可伪造性不属于零知识证明的三大核心特性。5.我国国密算法体系中，专门用于标识密码场景的算法是以下哪一项？A.SM2B.SM3C.SM4D.SM9答案：D解析：SM2为基于椭圆曲线的公钥加密与签名算法，SM3为密码哈希算法，SM4为分组对称加密算法，SM9为标识密码算法，支持直接将用户手机号、邮箱、设备MAC地址等唯一标识作为公钥，无需部署数字证书。6.理论上Shor量子算法无法破解以下哪类密码算法？A.RSA-2048B.ECC-P256C.AES-256D.SM2答案：C解析：Shor算法可通过量子傅里叶变换快速破解基于大整数分解、离散对数难题的公钥密码算法，RSA、ECC、SM2均属于该范畴，而AES为对称分组密码，仅可被Grover量子算法暴力破解，密钥长度提升至256位后即可满足抗量子安全要求。7.安全多方计算技术中，混淆电路的提出者是以下哪一位？A.姚期智B.阿迪·萨莫尔C.罗纳德·李维斯特D.保罗·科克尔答案：A解析：阿迪·萨莫尔、罗纳德·李维斯特为RSA算法的共同提出者，保罗·科克尔为计时侧信道攻击的提出者，姚期智院士于1982年提出混淆电路概念，奠定了安全多方计算的理论基础。8.为了防范消息认证码（MAC）的重放攻击，以下哪项操作是必要的？A.增加消息的哈希长度B.在消息中嵌入时间戳或随机数C.采用非对称密钥生成MACD.对MAC进行二次加密答案：B解析：重放攻击的核心是攻击者重复发送之前截获的合法MAC消息，嵌入时间戳或随机数后，接收方可以验证消息的新鲜性，直接拒绝过期或重复的请求，其余选项均无法从逻辑上防范重放攻击。9.数字信封技术的核心实现逻辑是以下哪一项？A.用对称密钥加密明文，用非对称公钥加密对称密钥B.用非对称公钥加密明文，用对称密钥加密非对称私钥C.用哈希算法生成明文摘要，用非对称私钥加密摘要D.用对称密钥加密明文，用非对称私钥签名明文哈希答案：A解析：数字信封结合了对称加密的高性能与非对称加密的密钥分发优势，通过非对称加密传输单次会话的对称密钥，既解决了对称密钥分发的安全问题，又避免了非对称加密大体积明文的性能损耗。10.以下哪类零知识证明方案无需可信初始化设置，不存在预置后门风险？A.Groth16B.zk-STARKC.PLONKD.Marlin答案：B解析：Groth16、PLONK、Marlin均属于zk-SNARK类方案，需要在初始化阶段生成公共参数，若初始化过程的随机数泄露会导致整个体系存在伪造证明的后门，zk-STARK基于哈希函数构建，无需可信初始化，同时具备抗量子攻击特性。二、填空题（共15空，每空1分，总计15分）1.NIST2024年发布的后量子数字签名标准包含CRYSTALS-Dilithium、______、______三类。答案：Falcon、SPHINCS+解析：三类签名分别适配通用场景、资源受限IoT场景、高安全长期存证场景，覆盖所有数字签名需求。2.国产格基后量子密码算法______已纳入2025年国密试点标准，安全强度与CRYSTALS-Kyber相当，性能提升10%以上。答案：LAC解析：LAC为我国自主研发的轻量级格密码算法，适合国内政务、金融场景的后量子密码合规迁移。3.SM3密码哈希算法的输出长度为______位，安全强度等同于SHA-256。答案：2564.侧信道攻击的三类主流攻击方式为计时攻击、______、______。答案：功耗分析攻击、电磁辐射攻击5.完美前向保密（PFS）的核心逻辑是______，避免长期私钥泄露导致历史会话数据被破解。答案：每次会话采用临时生成的公私钥对协商会话密钥，长期私钥仅用于身份认证6.格密码的两类核心数学难题是最短向量问题（SVP）和______。答案：最近向量问题（CVP）7.量子密钥分发（QKD）的两大核心理论基础是海森堡测不准原理和______。答案：量子不可克隆定理8.数字证书的主流国际标准为______，当前该标准已扩展支持后量子密码公钥格式。答案：X.5099.AES分组加密算法的标准分组长度为______位，支持128、192、256位三种密钥长度。答案：12810.盲签名的核心特性是______，适用于电子投票、数字货币等需要匿名性的场景。答案：签名者无法知晓所签消息的具体内容11.环签名的核心特性是______，无法从签名结果中追溯到具体的签名者身份。答案：签名者的身份隐藏在一组可选的签名者集合中12.可搜索加密的两类主流实现方案为对称可搜索加密和______。答案：公钥可搜索加密三、简答题（共6题，每题8分，总计48分）1.简述2024年NIST发布的后量子密码标准体系的四类算法及各自适用场景。答案：NIST后量子密码标准体系四类算法分别为：①CRYSTALS-Kyber：公钥加密/密钥协商算法，分512、768、1024三个安全等级，分别对应AES-128、AES-192、AES-256安全强度，性能优于传统ECC算法，适用于TLS、VPN、文件加密、IoT密钥协商等全场景，是当前后量子迁移的核心算法；②CRYSTALS-Dilithium：通用数字签名算法，分2、3、5三个安全等级，性能接近传统ECDSA算法，适用于身份认证、代码签名、数字证书签名、区块链交易签名等通用场景；③Falcon：轻量化数字签名算法，分512、1024两个安全等级，签名长度比Dilithium短40%，签名速度快30%，适用于IoT设备、嵌入式芯片等资源受限场景；④SPHINCS+：无状态哈希签名算法，完全基于哈希函数构建，不依赖任何代数难题，具备最高级别的长期安全性，适用于根CA签名、档案存证签名等需要百年以上安全周期的场景。2.简述全同态加密的核心定义及2025年已落地的三类典型应用场景。答案：全同态加密是一类允许对密文直接执行任意类型、任意次数的运算操作，运算结果解密后与对应明文运算结果完全一致的加密算法，整个计算过程无需解密密钥，也不会泄露任何明文信息。2025年已落地的典型场景包括：①金融联合风控：多家银行、消费金融机构无需共享用户原始征信、交易数据，通过全同态加密对各方密文数据直接训练风控模型，模型效果与明文训练一致，符合《个人信息保护法》的隐私合规要求；②云计算密文运算：用户将加密后的个人数据、企业业务数据上传至公有云，云服务商可直接在密文状态下完成数据分析、报表统计、AI推理等操作，全程无需解密，避免云服务商内部泄露或外部攻击导致的数据泄露；③医疗数据联合科研：多家医院无需共享患者病历、基因数据，通过全同态加密联合计算流行病统计模型、药物靶点筛选模型，既实现了医疗数据价值流通，又保护了患者隐私。3.对比零知识证明方案zk-SNARK与zk-STARK的核心差异。答案：二者核心差异体现在五个维度：①可信初始化要求：zk-SNARK系列方案（如Groth16、PLONK）需要在系统初始化阶段生成全局公共参数，若初始化过程的随机数被泄露，攻击者可伪造任意有效证明，存在后门风险；zk-STARK基于哈希函数构建，无需可信初始化，不存在该类风险；②证明体积：zk-SNARK的证明体积通常在100B-3KB之间，适合带宽受限的场景；zk-STARK的证明体积通常在50KB-2MB之间，对带宽要求更高；③验证速度：zk-SNARK的验证时间在0.1-2毫秒之间，适合高并发验证场景；zk-STARK的验证时间在10-100毫秒之间，并发性能弱于zk-SNARK；④抗量子性：主流基于椭圆曲线构建的zk-SNARK不具备抗量子性，仅格基zk-SNARK可抗量子攻击；zk-STARK天生具备抗量子攻击特性；⑤适用场景：zk-SNARK适合区块链支付、高频身份验证等对性能要求高的场景；zk-STARK适合政务存证、跨链交易、根证书签名等对安全要求高的场景。4.简述SM9标识密码算法的核心原理及应用优势。答案：SM9标识密码算法的核心原理是采用用户的唯一标识（如手机号、邮箱、身份证号、设备MAC地址）作为公钥，无需为用户单独生成和分发数字证书，由可信密钥生成中心（KGC）根据用户标识、系统主密钥为用户生成对应的私钥，用户使用该私钥完成加密、签名、解密、验签操作。其应用优势包括：①无需证书管理体系：免去了传统PKI体系的证书申请、审核、分发、吊销、存储等全流程运维成本，系统复杂度降低60%以上；②适合大规模IoT场景：百万级IoT设备可直接采用MAC地址作为公钥，无需为每个设备预置证书，设备入网时间从分钟级缩短至秒级；③国密自主可控：属于我国自主研发的国密算法，符合政务、金融、能源等关键信息基础设施的合规要求，不存在国外算法的后门风险。5.简述侧信道攻击的定义，列举三类防范计时攻击的常用技术手段。答案：侧信道攻击是一类不针对密码算法本身的数学安全性，而是通过收集密码设备运行过程中产生的时间、功耗、电磁、声音等物理泄露信息，通过统计分析推导密钥的攻击方式，攻击成本远低于传统数学攻击，实际威胁更高。防范计时攻击的三类常用手段为：①常数时间实现：对密码算法的所有分支执行路径做对齐处理，无论输入的密钥、明文是什么，算法的执行时间完全一致，从根源上消除时间差异泄露的可能性；②随机噪声注入：在算法执行过程中随机插入冗余运算、随机等待周期，打乱执行时间的分布规律，大幅提升攻击者统计有效时间信息的难度；③掩码技术：将密钥、中间运算结果与随机数做异或处理后再参与运算，让运算时间与真实密钥、明文之间的相关性降至可忽略的水平，攻击者无法通过时间差异推导有效信息。6.简述完美前向保密（PFS）的实现原理，列举一个实际落地案例。答案：完美前向保密的实现原理为：通信双方协商会话密钥时，采用临时生成的公私钥对完成密钥交换，长期持有签名私钥仅用于身份认证，不参与会话密钥的生成过程，且每次会话的临时公私钥对仅使用一次，会话结束后立即销毁。即使攻击者后续获取了通信方的长期签名私钥，也无法破解之前截获的历史会话密文。实际落地案例为TLS1.3协议默认启用ECDHE临时密钥协商机制，服务器与客户端每次建立HTTPS连接时，都会各自生成全新的临时ECC公私钥对，通过ECDH算法协商会话密钥，服务器的长期证书私钥仅用于对临时公钥做签名认证，即便后续服务器证书私钥泄露，之前所有的HTTPS会话数据也无法被解密。四、算法分析题（共2题，每题12分，总计24分）1.某金融企业当前核心加密体系采用RSA-2048算法，2025年第三方安全机构预测2030年容错量子计算机即可破解RSA-2048，该企业的核心交易数据需要留存15年，请分析该加密方案存在的风险，并给出后量子迁移的选型思路。答案：该方案存在三类核心风险：①“捕获现在、解密未来”攻击风险：攻击者当前即可截获该企业的加密交易数据、用户隐私数据，待2030年量子计算机落地后直接解密，导致所有留存期内的历史数据全部泄露；②合规风险：我国密码管理局2024年已发布要求，关键信息基础设施需在2027年前完成后量子密码迁移，RSA算法不符合后续的合规要求，企业会面临监管处罚；③供应链风险：当前主流操作系统、浏览器已逐步停止支持RSA密钥协商套件，后续该企业的系统会面临兼容性问题。迁移选型思路为：①密钥协商/公钥加密场景：优先选用CRYSTALS-Kyber-768算法，安全强度等同于AES-192，满足金融级安全要求，性能与传统ECC相当，无需额外硬件升级即可部署；②签名场景：通用签名场景选用CRYSTALS-Dilithium-3算法，IoT终端场景选用Falcon-512算法，根CA签名场景选用SPHINCS+-128f算法；③过渡方案：采用后量子算法与传统公钥算法的混合模式，如TLS连接同时协商Kyber与ECDHE密钥，既兼容现有存量系统，又具备抗量子安全能力；④合规适配：若企业需要满足国密要求，可选用国产格基后量子算法LAC替代Kyber，该算法已纳入国密试点标准，完全自主可控。2.某隐私计算平台当前采用Paillier半同态加密算法实现多方联合求和运算，现需要升级支持联合训练线性回归模型，线性回归训练需要同时执行密文加法、密文乘密文操作，请分析现有方案存在的问题，给出两类可行的升级方案并对比优劣。答案：现有方案的核心问题为：Paillier属于加法同态加密算法，仅支持密文加法、密文乘明文两种运算，不支持密文乘密文运算，而线性回归训练过程中的特征与权重乘积、误差平方项计算均需要密文乘密文操作，现有方案无法满足需求。可行的两类升级方案如下：方案一：将Paillier替换为BFV全同态加密算法。优势：BFV原生支持整数型密文加法与密文乘法运算，无需多方额外交互，开发成本低，当前BFV的密文膨胀率已优化至仅比Paillier高2倍，性能损失可接受；劣势：BFV的乘法深度有限，需要提前估算模型的运算深度，若超过限定深度需要执行bootstrap操作，性能开销会提升100倍以上，仅适合浅层线性回归模型。方案二：保留Paillier加法同态，结合两方安全乘法协议实现密文乘密文运算。优势：整体性能比全同态方案高3-5倍，乘法运算没有深度限制，适合多层线性回归、逻辑回归等模型；劣势：乘法运算需要多方之间进行2-3轮交互，网络延迟较高的场景下性能下降明显，且需要开发安全乘法协议，开发复杂度比方案一高60%以上。五、综合设计题（共1题，总计23分）某招聘平台需要设计一套学历验证系统，要求满足三个核心需求：①求职者无需泄露身份证号、具体毕业院校、毕业时间、专业等完整隐私信息，即可向招聘方证明自身满足招聘要求（如学历层次≥本科、毕业院校为985/211、毕业时间不超过5年）；②招聘方无法获取求职者的任何额外隐私信息，仅能知晓是否符合要求；③验证过程无需对接教育部学信网接口，避免接口滥用、数据泄露风险。请给出该系统的架构设计、核心流程、用到的密码技术及安全性分析。答案：1.架构设计：系统共包含三个核心角色，无需中心化在线可信第三方：①可信发证方：即教育部学信网，仅在初始化阶段离线生成相关参数，无需提供实时接口；②求职者端：运行在求职者的手机、PC端，存储个人学历凭证与证明生成密钥；③招聘方端：运行在招聘平台服务器，存储公开验证密钥，无需对接学信网。额外采用联盟链作为公开存证层，存储所有合法学历的承诺值，数据公开可查不可篡改。2.核心流程：①初始化阶段：学信网将所有毕业生的学历信息编码为属性集合，包括学历层次（编码为1=专科、2=本科、3=硕士、4=博士）、院校等级（编码为1=普通、2=双一流、3=985）、毕业时间戳，采用Pedersen承诺算法为每个毕业生的属性生成对应的承诺值，承诺值