密码服务API通用可组合框架

• 作者: 徐开勇 袁庆军 谭磊 陆思奇
• 来源期刊: 密码学报
• 学科: 工学
• 关键词: 密码服务API 通用可组合框架 全局状态
• 年，卷（期）: 2017,（4）
• 页码范围: 405-412
• 页数: 8页
• 分类号: TP301.5
• 字数: 8605字
• 语种: 中文
• DOI: 10.13868/j.cnki.jcr.000192

摘要

密码服务API是各类信息系统获取密码服务的入口,为信息系统的密钥协商、信息加密和身份认证等提供密码算法的调用与处理,当前攻击者针对API设计缺陷或漏洞,绕过系统安全策略或者非正常调用密码处理过程,从而达到欺骗密码服务系统,获取密码系统内部的密码资源或秘密信息.本文通过研究密码服务API功能函数组合应用的安全性证明问题,提出了密码服务API的通用可组合框架,旨在通过形式化分析方法对密码服务API的安全性进行验证.在通用可组合安全框架下,添加了支持密码服务API全局状态的记录、读取和操作,提出了密码服务API通用可组合安全框架.对理想模型下、现实模型下和混合模型下的密码服务API执行过程进行了形式化描述,通过基础定理的证明验证了在API通用可组合框架下,以API基础功能为基础,验证复杂API安全性是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆思奇		2	4	1.0	2.0
2	徐开勇	解放军信息工程大学密码工程学院	19	127	7.0	10.0
3	袁庆军	解放军信息工程大学密码工程学院	2	3	1.0	1.0
7	谭磊		1	1	1.0	1.0