基于双线性对和密钥循环的计算可靠性分析

摘要

近年来,对安全协议符号方法的计算可靠性分析是一个研究热点.本文对一类使用双线性对和对称加密原语构造的安全协议进行分析,给出其符号模型及相应计算解释,并证明符号分析的计算可靠性,即:在BDDH假设下,当对称加密机制满足多项式不可区分选择明文攻击安全性(INDCPA)时,消息的符号等价蕴含计算不可区分.并且,该可靠性定理无对消息中密钥循环的限制.