文章基本信息

标题：A Framework for Automated Security Proof and its Application to OAEP
本地全文：下载
作者：Yan, Guang ; Yue-Fei, Zhu ; Chun-Xiang, Gu 等
期刊名称：Journal of Networks
印刷版ISSN：1796-2056
出版年度：2013
卷号：8
期号：3
页码：552-558
DOI：10.4304/jnw.8.3.552-558
语种：English
出版社：Academy Publisher
摘要：OAEP is a widely used public-key encryption scheme based on trapdoor permutation. Its security proof has been scrutinized and amended repeatedly. In this paper we present a automatically proof for IND-CCA2 security of OAEP, which is completed by a framework for mechanized security proof, without any human intervention. The framework is built on the base of probabilistic polynomial-time process calculus, and capable of dealing with padding-based encryption schemes. We provide an overview of the proof instance and explain several crucial steps of the game transformation.
关键词：provable security;automated security proof;OAEP;IND-CCA2;partial-domain one-wayness