【61072047】密码片上系统安全模型构建与验证方法研究国家自然基金项目

密码片上系统安全模型构建与验证方法研究

项目批准号： 61072047

批准年份： 2010

学科分类： F0102.信息系统与系统安全

项目负责人：李峥

资助类别：面上项目

负责人职称：教授

依托单位：中国人民解放军战略支援部队信息工程大学

资助金额： 30万元

关键词：密码算法;安全模型;形式化验证;密码芯片

起止时间： 2011-01-01到2013-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	New attacks and security model of the secure flash disk	期刊论文	An Wang\|Zheng Li\|Xianwen Yang\|Yanyan Yu\|
2	基于Radix-4 Booth编码的乘法器优化设计	期刊论文	陈海民\|李峥\|谢铁顿\|
3	基于FPGA的SM3算法优化设计与实现	期刊论文	王晓燕\|杨先文\|
4	基于COS的Hash接口设计与实现	期刊论文	郑斌\|李峥\|王瑞蛟\|
5	基于数模混合的真随机数发生器	期刊论文	叶少康\|李峥\|
6	Cryptlib密码服务库改进与实现	期刊论文	李林\|杨先文\|
7	USB1.1设备控制器IP核的设计与实现	期刊论文	杨先文\|李峥\|王安\|张宇\|
8	基于USB和FPGA的随机数发生器验证平台	期刊论文	叶少康\|张鲁国\|李峥\|
9	数字图像保密系统的嵌入式设计与FPGA验证	期刊论文	任帅\|杨先文\|
10	FreeARM7 IP核的微处理器逻辑扩展与验证	期刊论文	李峥\|杨先文\|
11	一种基于LWE问题的无证书全同态加密体制	期刊论文	光焱\|顾纯祥\|祝跃飞\|郑永辉\|费金龙\|
12	多任务密码服务系统设计与实现	期刊论文	李林\|杨先文\|郑斌\|
13	密码SoC中数据存储保护机制研究与设计	期刊论文	杨先文\|李峥\|王安\|
14	一种基于智能卡COS的对称密码服务实现方法	专利	祝世雄; 张鲁国; 吕永其; 李峥; 于飞; 杨先文
15	密码嵌入式处理器中高速缓存的研究与设计	期刊论文	王晓燕\|杨先文\|陈海民\|
16	一种新的七元联合稀疏型表示及其应用	期刊论文	杨先文\|李峥\|
17	基于ARMv4T架构指令集的乘法器设计	期刊论文	陈海民\|李峥\|杨先文\|
18	一种针对全同态加密体制的密钥恢复攻击	期刊论文	光焱\|祝跃飞\|顾纯祥\|郑永辉\|汤全有\|
19	密码安全USB设备控制器IP的系统设计	期刊论文	杨先文\|李峥\|王安\|张宇\|
20	利用竞争冒险的真随机数发生器设计	期刊论文	李峥\|杨先文\|王安\|
21	电子彩票随机数产生系统设计与分析	期刊论文	刘军霞\|杨先文\|
22	基于Xen的域间切换方法研究	期刊论文	施佳铁\|徐宁\|刘文清\|杜丽霞\|
23	A new security proof of practical cryptographic devices based on hardware, software and protocols	会议论文	A Wang\|Z Li\|X Yang\|Y Yu\|
24	An improved random number generator based on chaotic map	会议论文	Zheng Li\|Shaokang Ye\|
25	Design and Implementation of a Trusted SoC Chip	会议论文	Zhang Luguo\|Li Zheng\|Zhang Wenzheng\|Zhu Shixiong\|
26	Design research of the DES against power analysis attacks based on FPGA	期刊论文	Xianwen Yang\|Zheng Li\|An Wang\|Shengjun Wen\|
27	嵌入式微处理器分支预测的设计与实现	期刊论文	陈海民\|李峥\|王瑞蛟\|
28	对一个环Zn上圆锥曲线数字签名的分析与改进	期刊论文	刘军霞\|杨先文\|
29	An Efficient Message - Attached Password Authentication Protocol and Its Applications in the Internet of Things	会议论文	A Wang\|Z Li\|X Yang\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享