研究実績の概要 |
The main research achievements obtained during FY2017, the final year of the project, are as follows:
(1) An analysis of the related randomness security model used to show security of public key encryption schemes against weak randomness, revealed that security against arbitrary randomness relations cannot be achieved in this model. This led to a refined model capturing attacks in which the attacker has limited time to attack the system before new entropy is added. The refined model captures the behavior observed in experiments with virtual machines. Additionally, a general transformation for public key encryption schemes achieving security against arbitrary randomness relations in the refined model has been proposed. (2) Extension of related key attack security to non-interactive key establishment (NIKE) schemes. This includes formal definitions capturing various flavors of related key attack security, analysis of the relation between these, as well as an analysis of concrete schemes.
While (1) consolidates the knowledge about related randomness security obtained during the project, (2) builds upon the insights gained researching related key attack security for signatures during the previous years of the project.
|