公开(公告)号：CN112187444A

公开(公告)日：2021-01-05

申请号：CN202010910490.4

申请日：2020-09-02

Applicant: 中国科学院软件研究所 ,  南方电网科学研究院有限责任公司

Inventor： 焦志鹏 ,  陈华 ,  匡晓云 ,  冯婧怡 ,  杨祎巍 ,  黄开天 ,  范丽敏

IPC: H04L9/06 ,  H04L9/00

Abstract: 本发明公开了一种抗侧信道和故障攻击的综合防护方法，其步骤包括：1)对于待防护的目标算法，构造与该目标算法相同的算法作为该目标算法的冗余算法；并为该目标算法及其冗余算法分别构造相同的d阶门限防护方案，用于防护d阶侧信道攻击；2)将该目标算法的输出和该冗余算法的输出进行异或，然后与随机数进行乘法掩码运算，并对该乘法运算采用门限实现的技术进行防护；3)将步骤2)的处理结果与该目标算法的d阶门限实现结构或者该冗余算法的d阶门限实现结构相互异或得到一个结果，将该结果作为该目标算法的最终输出结果。本方法可以抵抗不基于密文的故障敏感度攻击、基于密文的差分故障攻击以及侧信道攻击。

公开(公告)号：CN111224770A

公开(公告)日：2020-06-02

申请号：CN201911359164.2

申请日：2019-12-25

Applicant: 中国科学院软件研究所 ,  南方电网科学研究院有限责任公司

Inventor： 陈华 ,  冯婧怡 ,  匡晓云 ,  焦志鹏 ,  杨祎巍 ,  李昊远 ,  范丽敏

IPC: H04L9/00 ,  H04L9/06

Abstract: 本发明公开了一种基于门限技术的抗侧信道与故障攻击的综合防护方法，其包括以下步骤：根据侧信道攻击的阶数d，构造分组密码算法的d阶门限实现，作为原始门限实现；为分组密码算法构造与原始门限实现完全相同的d阶门限实现，作为冗余门限实现；以相同的明文为加密输入，同步执行原始门限实现和冗余门限实现的加密流程，在加密流程中执行交换操作，交换原始门限实现和冗余门限实现的部分份额；当所有加密流程和交换操作结束后，输出原始门限实现的密文，作为防护加密的密文。本方法优化组合了门限实现和基于数据交换的防护，使分组密码可同时抵抗多种侧信道攻击和故障攻击，并具有较小的防护开销。

公开(公告)号：CN103093144B

公开(公告)日：2015-06-10

申请号：CN201310013010.4

申请日：2013-01-14

Applicant: 中国科学院软件研究所

Inventor： 刘波 ,  陈华 ,  高思 ,  范丽敏 ,  冯登国

IPC: G06F21/55

Abstract: 本发明公开了一种密码模块API安全性检测方法与系统。本方法为：1)功能实现识别模块获取待检测的密码模块API的实现信息；2)自动化分析模块根据所述实现信息建立该密码模块API的形式化模型，然后对该形式化模型进行安全性检测，检测是否存在攻击；3)如果存在攻击，实例攻击验证模块根据自动分析模块得出的检测结果生成相应的攻击实例，并对密码模块API进行实际攻击，验证攻击是否存在，如果实际验证攻击不存在，则该密码模块API为安全的。本系统包括功能实现识别模块、自动化分析模块、实例攻击验证模块。与现有技术相比，本发明大大提高了密码模块API安全性的检测效率。

公开(公告)号：CN103093144A

公开(公告)日：2013-05-08

申请号：CN201310013010.4

申请日：2013-01-14

Applicant: 中国科学院软件研究所

Inventor： 刘波 ,  陈华 ,  高思 ,  范丽敏 ,  冯登国

IPC: G06F21/55

Abstract: 本发明公开了一种密码模块API安全性检测方法与系统。本方法为：1)功能实现识别模块获取待检测的密码模块API的实现信息；2)自动化分析模块根据所述实现信息建立该密码模块API的形式化模型，然后对该形式化模型进行安全性检测，检测是否存在攻击；3)如果存在攻击，实例攻击验证模块根据自动分析模块得出的检测结果生成相应的攻击实例，并对密码模块API进行实际攻击，验证攻击是否存在，如果实际验证攻击不存在，则该密码模块API为安全的。本系统包括功能实现识别模块、自动化分析模块、实例攻击验证模块。与现有技术相比，本发明大大提高了密码模块API安全性的检测效率。

公开(公告)号：CN101257383A

公开(公告)日：2008-09-03

申请号：CN200810102906.9

申请日：2008-03-28

Applicant: 中国科学院软件研究所

Inventor： 范丽敏 ,  周永彬 ,  冯登国 ,  陈海宁

IPC: H04L9/14 ,  H04L9/10

Abstract: 本发明公开了一种快速的S盒透明阶检测方法，属于信息技术领域。其方法为首先设置透明阶MaxTransOrder的初始值和一用于比较透明阶临时值和当前值的阈值变量ThredValue，在遍历每一个输出向量，计算其透明阶临时值时，如果在循环过程的某一个计算点能够判断该种情况下所计算出的透明阶的临时值一定小于当前透明阶的值，则可以跳出该次循环，从而终止该种情况的后续计算，以便达到加速计算的目的。与现有技术相比，本发明检测速度的提升效果随着S盒规模的增加而愈加明显；同时本发明的方法具有通用性。