Formal Analysis for Cipher Chip's Security against Template Attack

摘要

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.