咨询与建议

限定检索结果

文献类型

  • 251 篇 期刊文献
  • 61 篇 会议

馆藏范围

  • 312 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 284 篇 工学
    • 235 篇 计算机科学与技术...
    • 187 篇 网络空间安全
    • 49 篇 软件工程
    • 8 篇 机械工程
    • 8 篇 仪器科学与技术
    • 7 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 1 篇 电气工程
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
  • 25 篇 管理学
    • 25 篇 管理科学与工程(可...
  • 23 篇 理学
    • 18 篇 数学
    • 3 篇 系统科学
    • 1 篇 地理学
    • 1 篇 地球物理学
  • 13 篇 军事学
    • 13 篇 军队指挥学
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 医学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 28 篇 可信计算
  • 21 篇 信息安全
  • 17 篇 密码学
  • 14 篇 隐私保护
  • 12 篇 可信平台模块
  • 10 篇 可信计算平台
  • 9 篇 隐写分析
  • 9 篇 网络安全
  • 9 篇 密钥管理
  • 8 篇 云计算
  • 8 篇 恶意软件
  • 7 篇 嵌入式系统
  • 6 篇 安全
  • 6 篇 可信网络连接
  • 6 篇 物联网
  • 5 篇 密码分析
  • 5 篇 量子计算
  • 5 篇 运动矢量
  • 5 篇 软件安全
  • 5 篇 mq问题

机构

  • 304 篇 武汉大学
  • 96 篇 空天信息安全与可...
  • 7 篇 新疆广播电视大学
  • 7 篇 软件工程国家重点...
  • 5 篇 武汉理工大学
  • 5 篇 中国科学院数学机...
  • 5 篇 中南民族大学
  • 5 篇 武汉数字工程研究...
  • 5 篇 华中农业大学
  • 4 篇 河南财政税务高等...
  • 4 篇 新疆维吾尔自治区...
  • 3 篇 河北大学
  • 3 篇 教育部空天信息安...
  • 3 篇 中国电子设备系统...
  • 3 篇 海军工程大学
  • 3 篇 石家庄学院
  • 3 篇 空天信息安全及可...
  • 3 篇 北京南瑞智芯微电...
  • 3 篇 空天信息安全与可...
  • 3 篇 乐山师范学院

作者

  • 107 篇 张焕国
  • 70 篇 王丽娜
  • 37 篇 傅建明
  • 36 篇 赵波
  • 22 篇 严飞
  • 19 篇 彭国军
  • 17 篇 王后珍
  • 17 篇 刘树波
  • 16 篇 余荣威
  • 15 篇 任延珍
  • 15 篇 唐明
  • 14 篇 李鹏伟
  • 12 篇 赵磊
  • 11 篇 翟黎明
  • 11 篇 向騻
  • 10 篇 王鹃
  • 10 篇 刘梦君
  • 9 篇 郭迟
  • 8 篇 沙乐天
  • 8 篇 郭曦

语言

  • 312 篇 中文
检索条件"机构=武汉大学计算机学院信息安全系空天信息安全与可信计算教育部重点实验室"
312 条 记 录,以下是201-210 订阅
排序:
基于谓词抽象的测试用例约简生成方法
收藏 引用
通信学报 2012年 第3期33卷 35-43,51页
作者: 郭曦 张焕国 武汉大学计算机学院 湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室 湖北武汉430072
针对大规模软件统状态迁移数量庞大,容易导致状态间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件统的状态间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状... 详细信息
来源: 评论
一种安全性更高的正形置换发生器
收藏 引用
计算机研究与发展 2012年 第8期49卷 1655-1661页
作者: 童言 张焕国 邓小铁 武汉大学计算机学院 武汉430072 香港城市大学计算机科学系 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072
作为一种完全映射,正形置换是对称密码体制中一类重要的基础置换.正形置换已经被证明拥有完全平衡性.自1995年以来,国内外学者对于正形置换的研究主要集中在构造与计数方面,但是对于正形置换的密码学性质,比如差分均匀度和非线性度等则... 详细信息
来源: 评论
一种组件加载漏洞的动态检测
收藏 引用
清华大学学报(自然科学版) 2012年 第10期52卷 1356-1363,1369页
作者: 傅建明 彭碧琛 杜浩 武汉大学计算机学院 武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室 武汉430072 武汉大学软件工程国家重点实验室 武汉430072
DLL(dynamic link library,组件)是操作统和应用程序实现功能重用、功能更新的基本模块。在组件加载时,相对路径的搜索行为和全路径组件的缺失会产生DLL组件被本地或者远程劫持攻击的威胁。为此,根据路径搜索行为,提出一种组件加载漏... 详细信息
来源: 评论
基于关联挖掘的软件错误定位方法
收藏 引用
计算机学报 2012年 第12期35卷 2528-2540页
作者: 赵磊 王丽娜 高东明 张震宇 熊作婷 武汉大学空天信息安全与可信计算教育部重点实验室 武汉430072 武汉大学计算机学院 武汉430072 中国科学院软件研究所计算机科学国家重点实验室 北京100190
基于覆盖率的错误定位(Coverage Based Fault Localization,CBFL)方法旨在通过分析程序执行的结果预测错误信息,是一种行之有效的错误定位方法.然而,CBFL方法中代码覆盖率的独立统计忽略了程序内存在的复杂控制依赖和数据依赖,从而忽视... 详细信息
来源: 评论
一种适于云存储的数据确定性删除方法
收藏 引用
电子学报 2012年 第2期40卷 266-272页
作者: 王丽娜 任正伟 余荣威 韩凤 董永峰 武汉大学软件工程国家重点实验室 湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室 湖北武汉430072 武汉大学计算机学院 湖北武汉430072
为保护云存储模式下数据的机密性,本文提出了一种适于云存储统的数据确定性删除方法.该方法通过密钥派生树组织管理密钥,将密钥经秘密共享方案处理后分发到DHT网络中,利用DHT网络的动态特性实现密钥的定期删除,使得在非授权时间内密... 详细信息
来源: 评论
基于无干扰理论的并发程序隐私性分析模型研究
收藏 引用
武汉大学学报(理学版) 2012年 第6期58卷 508-514页
作者: 曹珲 张焕国 严飞 武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室 湖北武汉430072
基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以... 详细信息
来源: 评论
一种新的基于图划分聚类算法——GAGPBCUK算法
收藏 引用
计算机科学 2012年 第9期39卷 162-165,169页
作者: 李小红 罗敏 武汉大学计算机学院 武汉430072 空天信息安全与可信计算教育部重点实验室 武汉430072
提出了一种新的基于图划分的聚类算法——GAGPBCUK算法。该算法解决了谱聚类算法参数敏感和聚类结果不准确等问题。3组仿真实验结果表明,GAGPBCUK算法不仅在识别和学习数据集中的隐含聚类数方面具有很好的性能,而且能够得到比谱聚类算法... 详细信息
来源: 评论
一类Bent函数的二阶非线性度下界
收藏 引用
计算机学报 2012年 第8期35卷 1588-1593页
作者: 李春雷 张焕国 曾祥勇 胡磊 武汉大学计算机学院 武汉430079 空天信息安全与可信计算教育部重点实验室 武汉430079 湖北大学数学与计算机科学学院 武汉430062 中国科学院研究生院信息安全国家重点实验室 北京100049
为了防止存在有效的低次函数逼近,对于较小的正整数r,用于对称密码统中的布尔函数应具有较高的r-阶非线性度.当r>1时,准确计算布尔函数的r-阶非线性度十分困难,已有的研究工作主要是通过分析其导函数的(r-1)-阶非线性度来确定布尔... 详细信息
来源: 评论
无线传感器网络的轻量级安全研究
收藏 引用
通信学报 2012年 第2期33卷 30-35页
作者: 王潮 胡广跃 张焕国 上海大学特种光纤与光接入网省部共建重点实验室 上海200072 空天信息安全与可信计算教育部重点实验室 湖北武汉430072 武汉大学计算机学院 湖北武汉430072
结合无线传感器网络现有的安全方案存在密钥管理和安全认证效率低等问题的特点,提出了无线传感器网络的轻量级安全安全算法。采用门限秘密共享机制的思想解决了无线传感器网络组网中遭遇恶意节点的问题;采用轻量化ECC算法改造传统... 详细信息
来源: 评论
一种面向Web服务的拜占庭错误容忍算法
收藏 引用
小型微型计算机 2012年 第3期33卷 519-524页
作者: 周伟 王丽娜 武汉大学计算机学院 武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室 武汉430072
随着Web服务的高速发展,其可靠性已经受到了越来越多的重视.针对当前拜占庭错误容忍算法对Web服务支持的不足,提出并设计了一种面向Web服务的拜占庭错误容忍算法.该算法与著名的CLBFT算法有显著区别.在Web服务中,为了支持组合服务必须... 详细信息
来源: 评论