DocumentCode
2233710
Title
Notice of Retraction
Formal Analysis for Cipher Chip´s Security against Template Attack
Author
Deng Gaoming ; Zhang Peng ; Zhao Qiang ; Chen Kaiyan
Author_Institution
Dept. of Comput. Eng., Mech. Eng. Coll., Shijiazhuang, China
fYear
2009
fDate
26-28 Dec. 2009
Firstpage
1741
Lastpage
1744
Abstract
Notice of Retraction
After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.
We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.
The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.
In order to evaluate the security of cipher chips against template attack, the adversary´s ability is defined combing the notion of equivalence relations and partitions after analyzing the character of key space partition in template matching phase, The distinguishing ability of a template attacking adversary is evaluated qualitatively and quantificationally with the indistinguishable of secret information and the remaining uncertainty of the secret information after template attack separately. The case analysis on RC4 cipher chip confirms the validity of this formal method.
After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.
We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.
The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.
In order to evaluate the security of cipher chips against template attack, the adversary´s ability is defined combing the notion of equivalence relations and partitions after analyzing the character of key space partition in template matching phase, The distinguishing ability of a template attacking adversary is evaluated qualitatively and quantificationally with the indistinguishable of secret information and the remaining uncertainty of the secret information after template attack separately. The case analysis on RC4 cipher chip confirms the validity of this formal method.
Keywords
cryptography; formal specification; cipher chip security; formal analysis; template attack; template matching phase; Computer security; Cryptography; Educational institutions; Force measurement; Information analysis; Information science; Information security; Mechanical engineering; Tin; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Science and Engineering (ICISE), 2009 1st International Conference on
Conference_Location
Nanjing
Print_ISBN
978-1-4244-4909-5
Type
conf
DOI
10.1109/ICISE.2009.600
Filename
5455570
Link To Document