咨询与建议

限定检索结果

文献类型

  • 307 篇 期刊文献
  • 20 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 314 篇 工学
    • 263 篇 计算机科学与技术...
    • 178 篇 网络空间安全
    • 84 篇 软件工程
    • 19 篇 控制科学与工程
    • 15 篇 电气工程
    • 9 篇 仪器科学与技术
    • 8 篇 机械工程
    • 6 篇 测绘科学与技术
    • 6 篇 地质资源与地质工...
    • 5 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 1 篇 材料科学与工程(可...
    • 1 篇 交通运输工程
    • 1 篇 生物医学工程(可授...
  • 43 篇 管理学
    • 43 篇 管理科学与工程(可...
  • 11 篇 理学
    • 6 篇 地理学
    • 4 篇 数学
    • 1 篇 系统科学
  • 9 篇 军事学
    • 9 篇 军队指挥学
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 27 篇 深度学习
  • 18 篇 可信计算
  • 17 篇 模糊测试
  • 12 篇 区块链
  • 10 篇 隐私保护
  • 9 篇 机器学习
  • 8 篇 信息安全
  • 8 篇 网络安全
  • 7 篇 漏洞挖掘
  • 7 篇 深度神经网络
  • 7 篇 异常检测
  • 6 篇 侧信道
  • 6 篇 密钥管理
  • 6 篇 物联网
  • 6 篇 静态分析
  • 5 篇 sm9
  • 5 篇 软件漏洞
  • 5 篇 对抗攻击
  • 5 篇 对抗样本
  • 5 篇 数字签名

机构

  • 267 篇 武汉大学
  • 110 篇 空天信息安全与可...
  • 16 篇 空天信息安全与可...
  • 7 篇 软件工程国家重点...
  • 6 篇 密码科学技术国家...
  • 6 篇 地球空间信息技术...
  • 5 篇 武汉理工大学
  • 5 篇 国电南瑞科技股份...
  • 4 篇 福建师范大学
  • 4 篇 智能电网保护和运...
  • 4 篇 南瑞集团有限公司
  • 4 篇 国网湖北省电力有...
  • 4 篇 清华大学
  • 4 篇 北京航空航天大学
  • 3 篇 湖南大学
  • 3 篇 山东浪潮科学研究...
  • 3 篇 国网福建省电力有...
  • 3 篇 电力规划设计总院
  • 2 篇 智能电网教育部重...
  • 2 篇 湖北省政府采购中...

作者

  • 43 篇 傅建明
  • 43 篇 王丽娜
  • 39 篇 张焕国
  • 28 篇 彭国军
  • 18 篇 杜瑞颖
  • 18 篇 李俊娥
  • 17 篇 陈晶
  • 17 篇 张立强
  • 16 篇 严飞
  • 16 篇 赵波
  • 16 篇 何琨
  • 16 篇 唐明
  • 13 篇 王鹃
  • 13 篇 何德彪
  • 12 篇 李鹏伟
  • 11 篇 赵磊
  • 10 篇 刘金硕
  • 9 篇 余荣威
  • 8 篇 杨秀璋
  • 8 篇 崔竞松

语言

  • 327 篇 中文
检索条件"机构=空天信息安全与可信计算教育部重点实验室/武汉大学国家网络安全学院"
327 条 记 录,以下是321-330 订阅
排序:
基于模型检测的可信软件栈测试
基于模型检测的可信软件栈测试
收藏 引用
2010年第四届中国可信计算信息安全学术会议
作者: 何凡 张焕国 严飞 杨飏 汪红 孟学军 武汉大学 计算机学院湖北武汉430072 武汉理工大学 计算机科学与技术学院湖北武汉430063 武汉大学 计算机学院湖北武汉430072 武汉大学 空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学 计算机学院湖北武汉430072 湖北省政府采购中心 湖北武汉430072 武汉大学 网络中心湖北武汉430072
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中... 详细信息
来源: 评论
一种基于签名和属性的可执行文件比较
收藏 引用
计算机研究与发展 2009年 第11期46卷 1868-1876页
作者: 傅建明 乔伟 高德斌 武汉大学计算机学院 武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室 武汉430072 武汉大学软件工程国家重点实验室 武汉430072 新加坡管理大学 新加坡178902
可执行文件比较广泛应用于软件版权检测、恶意软件家族检测、异常检测的模式更新以及补丁分析.传统方法无法满足应用对速度和精度的要求.在函数、基本块和指令级别上设计了一元指令签名、基于函数控制流程图邻接矩阵的函数一元结构签名... 详细信息
来源: 评论
盲环境下的数字图像可信性评估模型研究
收藏 引用
计算机学报 2009年 第4期32卷 675-687页
作者: 胡东辉 王丽娜 江夏秋 武汉大学计算机学院 武汉430079 合肥工业大学计算机与信息学院网络与信息安全研究所 合肥230009 空天信息安全及可信计算教育部重点实验室 武汉430072
随着各种数字图像处理软件和信息隐藏软件的涌现,数字图像正面临"信任危机".文中从可信的角度考虑数字图像的安全问题,提出盲环境下数字图像可信性评估的概念.文中提出了两类可信性评估模型:可信性判断模型和可信性度量模型.... 详细信息
来源: 评论
SMS4算法在嵌入式系统中的硬件实现方法
收藏 引用
武汉大学学报(信息科学版) 2008年 第10期33卷 1015-1017页
作者: 赵波 熊泉 韩碧霞 武汉大学计算机学院 武汉市430079 武汉大学软件工程国家重点实验室 武汉市430072 武汉大学空天信息安全与可信计算教育部重点实验室 武汉市430079
提出了一种在嵌入式系统中使用FPGA(filed programmable gate array)实现国家对称密码算法SMS4算法的方法,并在实际系统中进行了设计验证。试验结果表明,使用硬件实现的加密算法可以大大提高嵌入式系统的加解密速度,在不增加嵌入式系统... 详细信息
来源: 评论
基于状态机理论的可信平台模块测试研究
收藏 引用
武汉大学学报(信息科学版) 2008年 第10期33卷 1067-1069页
作者: 詹静 张焕国 徐士伟 向騻 武汉大学计算机学院 武汉市430079 武汉大学软件工程国家重点实验室 武汉市430072 武汉大学空天信息安全及可信计算教育部重点实验室 武汉市430079
可信平台模块(trusted platform module,TPM)作为可信计算关键件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。
来源: 评论
基于结构码的安全数字水印方案
收藏 引用
武汉大学学报(信息科学版) 2008年 第10期33卷 1070-1072页
作者: 郝彦军 王丽娜 张焕国 武汉大学计算机学院 武汉市430079 广东工业大学计算机学院 广州市510090 武汉大学空天信息安全及可信计算教育部重点实验室 武汉市430079 武汉大学软件工程国家重点实验室 武汉市430072
对数字水印模型进行研究,提出了数字水印系统是一个证明系统。指出了有效、公平的数字水印系统的出错概率应满足的条件。利用码的结构性实现了数字水印系统分析,指出该方案具有很强的健壮性,可以通过使用扩展TPM技术来增强该方案的安全性。
来源: 评论
基于结构码的安全数字水印方案
基于结构码的安全数字水印方案
收藏 引用
第三届可信计算信息安全学术会议
作者: 郝彦军 王丽娜 张焕国 武汉大学计算机学院 武汉市珞喻路129号430079 广东工业大学计算机学院 广州市东风东路729号510090 武汉大学计算机学院 武汉市珞喻路129号430079 武汉大学空天信息安全及可信计算教育部重点实验室 武汉市珞喻路129号430079 武汉大学软件工程国家重点实验室 武汉市珞珈山430072
对数字水印模型进行研究,提出了数字水印系统是一个证明系统.指出了有效、公平的数字水印系统的出错概率应满足的条件.利用码的结构性实现了数字水印系统分析,指出该方案具有很强的健壮性,可以通过使用扩展TPM技术来增强该方案的安全性。
来源: 评论