密码协议通用可组合安全的理论与方法研究

本项目主要研究安全协议的的形式化分析和设计方法，重点关注安全协议的通用可组合安全的形式化理论及方法。基于Random Oracle模型、CK模型、BCP模型和通用可组合安全框架及相关方法，进一步研究安全协议通用可组合安全的模块化思想、形式化模型及其安全理论，提出通用可组合安全协议的设计及分析方法。研究的目的在于，利用模块化的思想，简化安全协议的分析与设计过程，为通用可组合安全的密码协议提供更实际的安全假设；保证协议在实际网络环境中并发组合情况下的安全，使其在现实应用环境中更加可靠；根据不同的安全任务和应用环境提出不同级别的安全定义，实现安全级别的可度量性和可控性；针对受限计算资源和能量有效的应用需求，提出更加高效的通用可组合安全的密码协议。我们希望在安全协议的通用可组合安全的理论和方法上有一定的突破，为高效、可靠和可证安全的协议设计和分析提供比较完整和系统的理论。