国家自然科学基金(60743003)

作品数：15被引量：38H指数：3
导出分析报告
相关作者：王丽娜张焕国郭迟熊琦余荣威更多>>
相关机构：武汉大学教育部辽宁科技学院湖北警官学院更多>>
相关期刊：《东南大学学报（自然科学版）》《系统仿真学报》《Wuhan University Journal of Natural Sciences》《武汉大学学报（理学版）》更多>>
相关主题：可生存性BEHAVIORBASED_ONTRUSTEDSTATIC更多>>
相关领域：自动化与计算机技术政治法律更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的可信软件栈测试被引量：1
《武汉大学学报（理学版）》2010年第2期129-132,共4页何凡 张焕国 严飞 杨飏 汪红 孟学军 
国家高技术研究发展计划(863)项目(2007AA01Z411,2008AA01Z404);国家自然科学基金资助项目(60673071,60743003,90718005);空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008Q01,AISTC2008Q02)
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中...
关键词：可信计算平台 可信软件栈 模型检测 计算树逻辑 一致性测试 
一种基于网络行为特征的分布式LDoS攻击被引量：2
《中国科技论文在线》2010年第2期85-91,共7页王丽娜 张笑盈 郭迟 黄来女 
高等学校博士学科点专项科研基金(20070486107);国家自然科学基金可信软件重大研究计划项目(90718006);国家自然科学基金(60743003);武汉市创新人才开发资金计划
利用遗传算法设计了一种分布式低速率拒绝服务攻击。在该攻击中,各攻击分布结点的行为是正常的、非周期性的,但它们的攻击叠加效果等同于经典的低速率拒绝服务攻击;同时,该攻击模式符合网络流量行为特征,所以更加难以检测和追踪定位攻...
关键词：LDoS攻击 网络行为 ON/OFF模型 幂律分布 遗传算法 
基于层次赋时CPN的网络系统建模与可生存性优化
《系统仿真学报》2009年第19期6303-6308,共6页熊琦 王丽娜 刘陶 杨墨 
973项目(2007CB310800);国家自然科学基金(60743003);湖北省科技攻关(2007AA101C44)
生存性分析是生存性增强的前提条件。针对当前生存性分析方法动态建模和复杂系统建模能力差的缺陷,提出了一种基于层次赋时CPN(HTCP-nets)的系统可生存性分析法,应用建模仿真工具CPN Tools对网络系统的生存环境和服务流程进行建模分析,...
关键词：可生存性 层次赋时CPN 系统行为建模 生存环境建模 可生存性增强 
一种基于无监督学习的MB1隐写分析方法被引量：1
《东南大学学报（自然科学版）》2009年第3期442-446,共5页江夏秋 王丽娜 胡东辉 岳云涛 
国家自然科学基金重大研究计划资助项目(90718006);国家自然科学基金资助项目(60743003);教育部科学技术研究重点项目资助项目(108087);国家教育部博士点基金资助项目(20070486107)
为了提高针对混杂小样本集的MB1隐写算法的检测率,提出了一种泛化能力较强的MB1隐写分析方法.通过分析多种图像特征,在离散余弦变化(DCT)域选取对隐写敏感易变的特征,包括变分特征、块边界度量特征、共生矩阵特征和马尔可夫特征组成的10...
关键词：隐写分析 无监督学习 MB1隐写算法 支持向量数据描述法 
计算机取证的时间分析方法被引量：5
《湖北警官学院学报》2009年第2期36-39,共4页张俊 麦永浩 龚德忠 
国家自然科学基金(60743003);国家社会科学基金项目(07BFX062);湖北省自然科学基金([2007]083);2008公安部公安理论及软科学研究项目;2008年湖北省教育厅科学技术研究指导性项目;2008年湖北警官学院院级科研项目
从一个时间标签被取证人员错误修改的案例出发,介绍计算机的日期和时间结构、MAC时间标签的含义,以及本地时间和UTC时间的转换问题,提出一些帮助涉及时间问题调查的规则和建议。
关键词：计算机取证 日期和时间结构 MAC时间 
基于颜色表扩展技术的数据隐藏方法
《通信学报》2009年第4期137-140,共4页费如纯 王丽娜 张焕国 
国家自然科学基金重大研究计划(90718006);国家自然科学基金资助项目(60743003);湖北自然科学基金资助项目(2007ABA089);教育部科学技术研究重点项目(108087)~~
提出了一种基于索引图像颜色表扩展技术的数据隐藏方法,并对该方法的安全性及隐藏容量进行了分析,分析结果表明,该方法具有很强的安全性和很高的隐藏容量。利用该方法可以将机密数据隐藏在索引掩护图像中,获得的伪装图像具有与原始掩护...
关键词：掩护图像 伪装图像 数据隐藏 统计特性 隐藏容量 
一种密钥协商协议的自动化设计方法
《武汉大学学报（理学版）》2009年第1期89-92,共4页李松 王丽娜 余荣威 匡波 
国家高技术研究发展计划(863)项目(2008AA01Z404);国家自然科学基金(90718006,60743003);教育部博士点基金(20070486107)资助项目
通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了...
关键词：安全协议 演化计算 自动化设计 SVO逻辑 
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology被引量：2
《Wuhan University Journal of Natural Sciences》2008年第5期523-527,共5页CHEN Lu ZHANG Huanguo ZHANG Liqiang LI Song CAI Liang 
the National Natural Science Foundation of China (60673071, 60743003,90718005,90718006);the National High Technology Research and Development Program of China (2006AA01Z442,2007AA01Z411)
Facing the increasing security issues in P2P networks, a scheme for resource sharing using trusted computing technologies is proposed in this paper. We advance a RS-UCON model with decision continuity and attribute mu...
关键词：resource sharing trusted computing VIRTUALIZATION UCON （usage control） chain of trust 
基于状态机理论的可信平台模块测试研究被引量：9
《武汉大学学报（信息科学版）》2008年第10期1067-1069,共3页詹静 张焕国 徐士伟 向騻 
国家自然科学基金资助项目(60673071,60743003,90718005,90718006);国家863计划资助项目(2007AA01Z411,2006AA01Z442)
可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。
关键词：状态机理论 符合性测试 可信平台模块 
基于结构码的安全数字水印方案
《武汉大学学报（信息科学版）》2008年第10期1070-1072,共3页郝彦军 王丽娜 张焕国 
国家863计划资助项目(2006AA01Z442,2007AA01Z411);国家自然科学基金资助项目(60673071,60743003,90718005,90718006)
对数字水印模型进行研究,提出了数字水印系统是一个证明系统。指出了有效、公平的数字水印系统的出错概率应满足的条件。利用码的结构性实现了数字水印系统分析,指出该方案具有很强的健壮性,可以通过使用扩展TPM技术来增强该方案的安全性。
关键词：数字水印 盲检测 结构码 信息安全 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部