国家自然科学基金(61202493)

作品数：5被引量：17H指数：3
导出分析报告
相关作者：石竑松高金萍杨永生张翀斌贾炜更多>>
相关机构：中国信息安全测评中心更多>>
相关期刊：《清华大学学报（自然科学版）》《计算机工程》更多>>
相关主题：CC标准安全架构安全策略模型分析方法元功能更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CC标准中安全架构与策略模型的分析方法被引量：9
《清华大学学报（自然科学版）》2016年第5期493-498,共6页石竑松 高金萍 贾炜 刘晖 
国家自然科学基金资助项目(61202493)
通用评估准则(CC)未论述安全架构及策略模型这2个保障要求的具体分析方法,因而不利于实际的安全评估工作。为此,首先从设计分解的角度论述了CC的基本评估模型,将安全功能(TSF)从内涵功能和元功能2个角度进行定义,以此论述安全架构设计...
关键词：CC评估 安全架构 TSF元功能 TSF内涵功能 安全策略模型 
对一类组合线性同余发生器的不可预测性研究被引量：4
《清华大学学报（自然科学版）》2016年第1期22-27,共6页黄小莉 石竑松 张翀斌 杨永生 朱克雷 
国家自然科学基金资助项目(61202493)
线性同余发生器是使用很广的一类随机数发生器。为克服这类发生器的缺陷,可组合多个发生器得到组合线性同余发生器。不可预测性是度量序列安全性的一个重要指标。一些应用必须满足不可预测。为了评估某类组合线性同余发生器的不可预测性...
关键词：安全保密 随机数 组合线性同余发生器 前向不可预测性 后向不可预测性 
一个基于属性的密钥协商协议
《计算机工程》2014年第2期134-139,共6页王永涛 宋璟 贺强 刘照辉 
国家自然科学基金资助项目(61202493)
在基于属性加密方案的基础上,提出一个基于属性的密钥协商协议。讨论基于属性的密钥协商协议的特性及可能的应用背景,其具有可实现模糊鉴别的特性,所实现的密钥策略为访问树结构。分析协议的安全属性并给出安全性证明,结果表明,与已有...
关键词：密钥策略 基于属性加密 密钥协商协议 双线性对 访问结构 标准模型 
USBKey脆弱性分析的事件分解模型被引量：2
《清华大学学报（自然科学版）》2013年第12期1688-1693,共6页王宇航 石竑松 张翀斌 杨永生 高金萍 
国家自然科学基金资助项目(61202493)
该文提出了一种基于事件分解的威胁建模方法,并对该方法在网银盾USBKey的脆弱性分析中的应用进行了分析。从应用需要保护的资产出发,此建模方法先标识出资产可能面临的威胁,通过将威胁视为事件,对事件进行逐步分解直至原子事件,以此简...
关键词：USBKEY 脆弱性分析 通用评估准则 攻击潜力 
基于PRESENT算法的智能卡芯片存储加密被引量：3
《清华大学学报（自然科学版）》2013年第12期1708-1712,共5页王亚楠 杨永生 毕海英 高金萍 
国家自然科学基金资助项目(61202493)
该文将轻量级密码算法PRESENT用于智能卡芯片存储加密中,用于保证卡内代码及数据的安全。首先指出总线置乱方法存在选择明文攻击隐患,而异或加密方法在Flash擦除操作时会导致密钥泄露,进而指出引入PRESENT算法的重要性。同时,该文给出PR...
关键词：智能卡 存储器 加密 PRESENT算法 异或 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部