期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于SoC可重构密码算法IP核接口电路设计与实现
被引量：
1
1
作者
张鲁国
王简瑜
《计算机工程与设计》
CSCD
北大核心
2010年第7期1447-1450,1454,共5页
针对SoC芯片多IP核集成问题,提出了系统集成时软硬件协同设计方案,建立了可重构密码算法IP核接口电路模型。该模型引入桥芯片和可编程原理,解决了不同密码算法接口位宽不一致的问题。在介绍微控制器和可重构密码算法IP核相关功能的基础...
针对SoC芯片多IP核集成问题,提出了系统集成时软硬件协同设计方案,建立了可重构密码算法IP核接口电路模型。该模型引入桥芯片和可编程原理,解决了不同密码算法接口位宽不一致的问题。在介绍微控制器和可重构密码算法IP核相关功能的基础上,通过基于双端口存储器和寄存器组接口电路实例,验证了IP核接口电路功能的完备性和普适性。
展开更多
关键词
接口电路
片上系统
可重构
密码
算法
IP
核
系统集成
协同设计
在线阅读
下载PDF
职称材料
基于信息流分析的密码核设计安全验证与漏洞检测
被引量：
11
2
作者
马艺新
唐时博
+2 位作者
谭静
李雪霏
胡伟
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2022年第1期76-83,共8页
密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题,密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量,覆...
密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题,密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量,覆盖率低,难以满足密码算法核这一安全关键部件的安全验证需求。从信息流安全的角度研究密码算法核安全验证与漏洞检测方法。该方法能够对密码算法核中全部逻辑信息流进行精确度量,实现对机密性和完整性等安全属性的形式化验证,可通过捕捉有害信息流动来检测密码算法核设计中潜在的安全隐患。实验结果表明信息流安全验证方法对密码算法核中的设计缺陷和旁路信道导致的敏感信息泄漏有很好的检测效果。
展开更多
关键词
信息流分析
安全验证
漏洞检测
密码算法核
在线阅读
下载PDF
职称材料
题名
基于SoC可重构密码算法IP核接口电路设计与实现
被引量：
1
1
作者
张鲁国
王简瑜
机构
解放军信息工程大学电子技术学院
出处
《计算机工程与设计》
CSCD
北大核心
2010年第7期1447-1450,1454,共5页
基金
现代通信国家重点实验室基金项目(9140C1106030806)
文摘
针对SoC芯片多IP核集成问题,提出了系统集成时软硬件协同设计方案,建立了可重构密码算法IP核接口电路模型。该模型引入桥芯片和可编程原理,解决了不同密码算法接口位宽不一致的问题。在介绍微控制器和可重构密码算法IP核相关功能的基础上,通过基于双端口存储器和寄存器组接口电路实例,验证了IP核接口电路功能的完备性和普适性。
关键词
接口电路
片上系统
可重构
密码
算法
IP
核
系统集成
协同设计
Keywords
interface circuit
SoC
configurable cipher algorithm IP core
system integration
co-design
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于信息流分析的密码核设计安全验证与漏洞检测
被引量：
11
2
作者
马艺新
唐时博
谭静
李雪霏
胡伟
机构
西北工业大学网络空间安全学院
出处
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2022年第1期76-83,共8页
基金
国家自然科学基金(62074131)
陕西省自然科学基金(2021JQ-123)资助。
文摘
密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题,密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量,覆盖率低,难以满足密码算法核这一安全关键部件的安全验证需求。从信息流安全的角度研究密码算法核安全验证与漏洞检测方法。该方法能够对密码算法核中全部逻辑信息流进行精确度量,实现对机密性和完整性等安全属性的形式化验证,可通过捕捉有害信息流动来检测密码算法核设计中潜在的安全隐患。实验结果表明信息流安全验证方法对密码算法核中的设计缺陷和旁路信道导致的敏感信息泄漏有很好的检测效果。
关键词
信息流分析
安全验证
漏洞检测
密码算法核
Keywords
information flow analysis
security verification
vulnerability detection
cryptographic core
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于SoC可重构密码算法IP核接口电路设计与实现
张鲁国
王简瑜
《计算机工程与设计》
CSCD
北大核心
2010
1
在线阅读
下载PDF
职称材料
2
基于信息流分析的密码核设计安全验证与漏洞检测
马艺新
唐时博
谭静
李雪霏
胡伟
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2022
11
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
