杨飏

作品数：5被引量：20H指数：3
导出分析报告
供职机构：武汉大学计算机学院空天信息安全与可信计算教育部重点实验室更多>>
发文主题：可信计算平台计算树逻辑可信软件栈测评理论信息安全更多>>
发文领域：自动化与计算机技术理学电子电信更多>>
发文期刊：《电子学报》《武汉大学学报（理学版）》《中国科学：信息科学》《计算机科学》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划教育部重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多变元Hash函数的构造与分析被引量：4
《电子学报》2011年第1期237-241,共5页王后珍 张焕国 杨飏 
国家自然科学基金(No.60673071;No.60970115);中国科学院数学机械化重点实验室开放课题(No.KLMM0903);武汉理工大学自主创新研究基金(No.2010-Ia-058)
本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数...
关键词：密码学 HASH函数 MQ问题 多变元多项式 
一种形式化的可信平台模块应用编程接口安全性分析方法
《武汉大学学报（理学版）》2010年第4期446-450,共5页杨飏 张焕国 张帆 徐士伟 
国家高技术研究发展计划(863)项目(2007AA01Z411)
针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证...
关键词：可信平台模块 安全性分析 应用编程接口 一阶逻辑 
一种C程序内存访问缺陷自动化检测方法研究被引量：3
《计算机科学》2010年第6期155-158,185,共5页杨飏 张焕国 王后珍 
国家863高技术研究发展计划项目基金(2007AA01Z411;2008AA01Z404);国家自然科学基金(90718005;90718006)资助
符号执行是目前较为行之有效的软件缺陷自动化检测方法,计算代价昂贵与程序执行路径爆炸是两个影响其性能的关键问题。提出了一种针对C语言程序内存访问缺陷的符号执行检测方法,该方法可通过自动化构造的测试用例发现程序内部的内存访...
关键词：静态分析 符号执行 程序切片 约束求解 
基于模型检测的可信软件栈测试被引量：1
《武汉大学学报（理学版）》2010年第2期129-132,共4页何凡 张焕国 严飞 杨飏 汪红 孟学军 
国家高技术研究发展计划(863)项目(2007AA01Z411,2008AA01Z404);国家自然科学基金资助项目(60673071,60743003,90718005);空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008Q01,AISTC2008Q02)
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中...
关键词：可信计算平台 可信软件栈 模型检测 计算树逻辑 一致性测试 
可信计算平台测评理论与关键技术研究被引量：13
《中国科学：信息科学》2010年第2期167-188,共22页张焕国 严飞 傅建明 徐明迪 杨飏 何凡 詹静 
国家高技术研究发展计划(批准号:2007AA01Z411;2006AA01Z442);国家自然科学基金(批准号:60673071;60970115;90718005);空天信息安全与可信计算教育部重点实验室开放基金(批准号:AISTC2008_01;AISTC2008Q02)资助项目
可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任...
关键词：信息安全 可信计算 可信计算平台 测试与评估 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部