椭圆曲线点乘的抗故障攻击FSM控制器设计

doi:10.3724/SP.J.1087.2012.00086

计算机应用 ›› 2012, Vol. 32 ›› Issue (01): 86-88.DOI: 10.3724/SP.J.1087.2012.00086

• 第四届中国计算机网络与信息安全学术会议论文(CCNIS’2011) • 上一篇下一篇

椭圆曲线点乘的抗故障攻击FSM控制器设计

严迎建,李志强,段二朋,朱巍巍

信息工程大学电子技术学院，郑州 450004

收稿日期:2011-08-19 修回日期:2011-09-27 发布日期:2012-02-06 出版日期:2012-01-01
通讯作者: 李志强
作者简介:严迎建(1973-)，男，河南扶沟人，副教授，博士，主要研究方向：集成电路设计与防护；李志强(1989-)，男，河南扶沟人，硕士研究生，主要研究方向：集成电路设计；段二朋(1981-)，男，河南卫辉人，硕士研究生，主要研究方向：集成电路设计；朱巍巍(1986-)，男，河南驻马店人，硕士研究生，主要研究方向：密码芯片安全防护。

Fault resistant finite state machine controller design of elliptic curve scalar multiplication

YAN Ying-jian,LI Zhi-qiang,DUAN Er-peng,ZHU Wei-wei

Institute of Electronic Technology, Information Engineering University, Zhengzhou Henan 450004, China

Received:2011-08-19 Revised:2011-09-27 Online:2012-02-06 Published:2012-01-01
Contact: LI Zhi-qiang

摘要/Abstract

摘要： 为提高有限状态机(FSM)控制器的抗故障攻击能力，提出一种非并发故障检测方案。方案利用线性码的故障检错特性，通过在状态机电路中建立故障传播路径来实现。设计了基于NAF编码的从左至右扫描点乘算法的安全有限状态机电路，并对该电路进行了仿真验证与分析。通过仿真验证，与并发故障检测方案相比，该设计能够在减少状态机频繁译码工作量的情况下，正确检测错误并报警，提高了抗故障攻击能力。

关键词: 故障攻击, 椭圆曲线, 有限状态机, 非并发

Abstract: To enhance its resistibility to fault attacks, this paper proposed a non-concurrent fault detection scheme for controller circuit based on Finite State Machine (FSM). Using linear codes, this scheme was carried out by constructing one path to detect faults in the FSM. Finally, this paper used the scheme to design the security FSM circuit for NAF-based left-to-right scalar multiplication algorithm, and simulated and analyzed the circuit in resistibility to fault attacks. Through the simulation, and compared with the scheme of concurrent error detection, in the case of reducing frequently decoding workload of the state machine, this design can detect the error correctly and alarm, and it also improves the ability of fighting against fault attacks.

Key words: fault attack, elliptic curve, Finite State Machine (FSM), non-concurrent

中图分类号:

TP331
TP309

严迎建李志强段二朋朱巍巍. 椭圆曲线点乘的抗故障攻击FSM控制器设计[J]. 计算机应用, 2012, 32(01): 86-88.

YAN Ying-jian LI Zhi-qiang DUAN Er-peng ZHU Wei-wei. Fault resistant finite state machine controller design of elliptic curve scalar multiplication[J]. Journal of Computer Applications, 2012, 32(01): 86-88.

参考文献

[1]

BONEH D, DEMILLO R A, LIPTON R J. On the importance of checking cryptographic protocols for faults ［C］// EUROCRYPT'97: Proceedings of the 16th Annual International Conference on Theory and Application of Cryptographic Techniques, LNCS 1223. Berlin: Springer-Verlag, 1997: 37-51.

[2]

BIEHL I, MEYER B, MLLER V. Differential fault attacks on elliptic curve cryptosystems ［C］// CRYPTO'00: Proceedings of the 20th Annual International Cryptology Conference on Advances in Cryptology, LNCS 1880. Berlin: Springer-Verlag, 2000: 131-146.

[3]

VANSTONE S A, BROWN D R. Method and apparatus for performing elliptic curve arithmetic: USA, 7418099 ［P］. 2008-08-26.

[4]

BLMER J, OTTO M, SEIFERT J-P. Sign change fault attacks on elliptic curve cryptosystems ［C］// FDTC 2006: Proceedings of the Third International Workshop on Fault Diagnosis and Tolerance in Cryptography, LNCS 4236. Berlin: Springer-Verlag, 2006: 36-52.

[5]

JOYE M. Fault-resistant calculcations on elliptic curves: European Patent Application, EP2228716 ［P］. 2010-09-15.

[6]

GAUBATZ G, SAVAS E, SUNAR B. Sequential circuit design for embedded cryptographic applications resilient to adversarial faults ［J］. IEEE Transactions on Computers, 2008, 57(1): 126-138.

[7]

ZHU WEIWEI, YAN YINGJIAN, LIU KAI. State machine skip fault attack on elliptic curve cryptosystems ［C］// ISAI 2010: 2010 International Conference on Information Security and Artificial Intelligence. Chengdu, China: ［s.n.］, 2010: 159-161.

[8]

HADJICOSTIS C N. Finite-state machine embeddings for nonconcurrent error detection and identification ［J］. IEEE Transactions on Automatic Control, 2005, 50(2): 142-153.

[9]

HADJICOSTIS C N. Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines ［J］. IEEE Transactions on Automatic Control, 2003, 48(12): 2133-2140.

[10]

赵琦,刘荣科.编码理论［M］.北京:航空航天大学出版,2009:10-12.

[1]	陈虹, 刘雨朦, 肖成龙, 郭鹏飞, 肖振久. 基于椭圆曲线的改进RC4算法[J]. 计算机应用, 2019, 39(8): 2339-2345.
[2]	刘欣东, 徐水帅, 陈建华. 基于椭圆曲线密码的智能电网通信认证协议[J]. 计算机应用, 2019, 39(3): 779-783.
[3]	徐海琳, 陆阳. 高效无双线性对的带关键词搜索的基于证书加密方案[J]. 计算机应用, 2018, 38(2): 379-385.
[4]	杨兴春, 许春香, 李朝荣. 基于ECC的支持标签所有权转移的RFID认证协议[J]. 计算机应用, 2017, 37(8): 2275-2280.
[5]	马云飞, 王韬, 陈浩, 黄长阳. 轻量级分组密码SIMON代数故障攻击[J]. 计算机应用, 2017, 37(7): 1953-1959.
[6]	李云, 陈庞森, 孙山林. 基于近场通信认证的无线局域网无线接入协议的安全性设计[J]. 计算机应用, 2016, 36(5): 1236-1245.
[7]	徐海琳, 陈莺, 陆阳. 高效无双线性对的基于证书代理重加密方案[J]. 计算机应用, 2016, 36(5): 1250-1256.
[8]	许盛伟, 陈诚, 王荣荣. 针对椭圆曲线密码系统点乘算法的改进差分故障攻击[J]. 计算机应用, 2016, 36(12): 3328-3332.
[9]	辛小霞, 王奕, 李仁发. 基于现场可编程门阵列的SMS4故障检测实现[J]. 计算机应用, 2015, 35(2): 420-423.
[10]	张希栋, 佟为明, 王铁成, 金显吉. 基于明文长度的椭圆曲线密码密文构建方法[J]. 计算机应用, 2015, 35(10): 2863-2866.
[11]	叶翔徐展胡翔刘丹. 低成本有源RFID双向认证加密方案[J]. 计算机应用, 2014, 34(2): 456-460.
[12]	周治平庄学波. 基于P-ECC和同余方程的分簇WSN节点身份认证机制[J]. 计算机应用, 2014, 34(1): 104-107.
[13]	王怡杜伟章. 无双线性对的无证书签名方案的分析及改进[J]. 计算机应用, 2013, 33(08): 2250-2252.
[14]	赖忠喜张占军陶东娅. 椭圆曲线中直接计算7P的方法及其应用[J]. 计算机应用, 2013, 33(07): 1870-1874.
[15]	李海峰蓝才会左为平马海云. 独立网络中新的双方密钥协商协议[J]. 计算机应用, 2013, 33(05): 1353-1356.

椭圆曲线点乘的抗故障攻击FSM控制器设计

Fault resistant finite state machine controller design of elliptic curve scalar multiplication

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics