咨询与建议

限定检索结果

文献类型

  • 517 篇 期刊文献
  • 70 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 547 篇 工学
    • 439 篇 计算机科学与技术...
    • 325 篇 网络空间安全
    • 115 篇 软件工程
    • 22 篇 控制科学与工程
    • 19 篇 电气工程
    • 16 篇 仪器科学与技术
    • 15 篇 测绘科学与技术
    • 14 篇 地质资源与地质工...
    • 12 篇 机械工程
    • 12 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 2 篇 交通运输工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 生物医学工程(可授...
  • 59 篇 管理学
    • 59 篇 管理科学与工程(可...
  • 41 篇 理学
    • 21 篇 数学
    • 15 篇 地理学
    • 4 篇 系统科学
    • 1 篇 地球物理学
  • 17 篇 军事学
    • 17 篇 军队指挥学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 医学
    • 1 篇 公共卫生与预防医...
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...

主题

  • 38 篇 可信计算
  • 29 篇 深度学习
  • 23 篇 隐私保护
  • 23 篇 信息安全
  • 17 篇 模糊测试
  • 17 篇 密码学
  • 14 篇 网络安全
  • 13 篇 隐写分析
  • 13 篇 区块链
  • 13 篇 可信平台模块
  • 12 篇 云计算
  • 12 篇 密钥管理
  • 12 篇 物联网
  • 10 篇 可信计算平台
  • 10 篇 机器学习
  • 9 篇 恶意软件
  • 8 篇 漏洞挖掘
  • 8 篇 可信网络连接
  • 7 篇 软件安全
  • 7 篇 数字签名

机构

  • 519 篇 武汉大学
  • 186 篇 空天信息安全与可...
  • 19 篇 空天信息安全与可...
  • 11 篇 地球空间信息技术...
  • 9 篇 软件工程国家重点...
  • 7 篇 新疆广播电视大学
  • 7 篇 国电南瑞科技股份...
  • 7 篇 密码科学技术国家...
  • 6 篇 武汉理工大学
  • 6 篇 武汉数字工程研究...
  • 5 篇 智能电网保护和运...
  • 5 篇 南瑞集团有限公司
  • 5 篇 中国科学院数学机...
  • 5 篇 中南民族大学
  • 5 篇 上海大学
  • 5 篇 华中农业大学
  • 4 篇 福建师范大学
  • 4 篇 海军工程大学
  • 4 篇 河南财政税务高等...
  • 4 篇 国网湖北省电力有...

作者

  • 127 篇 张焕国
  • 106 篇 王丽娜
  • 61 篇 傅建明
  • 46 篇 赵波
  • 44 篇 彭国军
  • 35 篇 严飞
  • 30 篇 唐明
  • 28 篇 杜瑞颖
  • 26 篇 陈晶
  • 23 篇 余荣威
  • 23 篇 李俊娥
  • 21 篇 赵磊
  • 20 篇 王后珍
  • 20 篇 王鹃
  • 20 篇 张立强
  • 19 篇 任延珍
  • 19 篇 何琨
  • 17 篇 刘树波
  • 17 篇 朱欣焰
  • 16 篇 翟黎明

语言

  • 587 篇 中文
检索条件"机构=空天信息安全与可信计算教育部重点实验室武汉大学武汉430072"
587 条 记 录,以下是491-500 订阅
排序:
基于应用π演算的可信平台模块的安全性形式化分析
收藏 引用
计算机研究与发展 2011年 第8期48卷 1421-1429页
作者: 徐士伟 张焕国 武汉大学计算机学院 武汉430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 伯明翰大学计算机科学学院 软件工程国家重点实验室(武汉大学) 武汉430072
可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所... 详细信息
来源: 评论
基于对象的软件行为模型
收藏 引用
软件学报 2011年 第11期22卷 2716-2728页
作者: 傅建明 陶芬 王丹 张焕国 空间信息安全与可信计算教育部重点实验室(武汉大学) 湖北武汉430072 武汉大学计算机学院 湖北武汉430072 软件工程国家重点实验室(武汉大学) 湖北武汉430072
以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有... 详细信息
来源: 评论
多变元Hash函数的构造与分析
收藏 引用
电子学报 2011年 第1期39卷 237-241页
作者: 王后珍 张焕国 杨飏 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室 湖北武汉430072 中国科学院数学机械化重点实验室 北京100080
本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数... 详细信息
来源: 评论
基于虚拟化的服务备份技术
基于虚拟化的服务备份技术
收藏 引用
第27次全国计算安全学术交流会
作者: XIANG Yong-qian 向永谦 HU Qiao 胡桥 Automation Institute of 62101 Army Wuhan Hubei 430010China 62101部队自动化站湖北武汉430010 Key laboratory of Aerospace Information Security and Trusted Computing Ministry of EducationWuhan Hubei 430072China 武汉大学空天信息安全与可信计算重点实验室湖北武汉430072
文章提出了一种基于虚拟化的服务备份技术,该技术能够以较低的成本投入实现在提供的服务崩溃时迅速恢复服务,提高用户对服务的满意度,同时,文章对就影响该技术实现效果的服务备份速度、服务恢复速度、负载均衡三个因素进行了研究,... 详细信息
来源: 评论
一种基于约束的指针程序路径选择方法
收藏 引用
武汉大学学报(理学版) 2011年 第5期57卷 389-393页
作者: 郭曦 张焕国 武汉大学计算机学院 湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室 湖北武汉430072
动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程... 详细信息
来源: 评论
适合CBTC系统无线信道加密算法
收藏 引用
通信学报 2011年 第2期32卷 48-52页
作者: 王潮 刘礼黎 牛志华 时向勇 张焕国 上海大学特种光纤与光接入网省部共建重点实验室 上海200072 空天信息安全与可信计算教育部重点实验室 湖北武汉430072 上海大学计算机工程与科学学院 上海200072 武汉大学计算机学院 湖北武汉430072
分析了现有地铁CBTC无线信道安全问题,针对其加密算法RC4的缺陷,提出了一种新的基于Montgomery型曲线ECC快速加密算法。与一般形式的传统的Montgomery型椭圆曲线密码相比,该算法可分恢复y坐标的值数,具有更高的安全性。该算法与传统... 详细信息
来源: 评论
PRESENT的多模型差分错误分析
收藏 引用
计算机工程与科学 2011年 第10期33卷 39-44页
作者: 唐明 沈菲 邓慧 尹鹏 邱镇龙 马啸 张焕国 武汉大学信息安全与可信计算机教育部重点实验室 湖北武汉430072 武汉大学计算机学院 湖北武汉430072
PRESENT密码是一种适用于传感器网络、RFID标签等小规模硬件的轻量加密算法。本文对PRESENT算法的差分错误分析方法进行研究,提出了针对PRESENT密码的四种差分错误模型,并对它们进行分析对比,从而找到针对PRESENT算法最好的差分错误分... 详细信息
来源: 评论
一类具有安全加密功能的扩展MQ公钥密码体制
收藏 引用
中国科学:信息科学 2011年 第11期41卷 1297-1309页
作者: 王后珍 张焕国 王张宜 唐明 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室 武汉430072 武汉大学软件工程国家重点实验室 武汉430072
量子计算机的发展,对目前广泛应用的传统公钥密码体制(如RSA,ECC等)构成了严重的威胁.MQ公钥密码是目前抗量子计算密码领域中最为活跃的热点研究课题之一,但是目前MQ公钥密码只能用于签名,很难构造出安全的加密算法.同时,随着近年来多... 详细信息
来源: 评论
一种面向连续数据保护的分布式存储模型研究
收藏 引用
小型微型计算机系统 2011年 第8期32卷 1587-1592页
作者: 王丽娜 武开智 王德军 熊琦 何征 空天信息安全与可信计算教育部重点实验室 武汉430079 武汉大学计算机学院 武汉430079 中南民族大学计算机学院 武汉430074
一个典型的连续数据保护(CDP,Continuous Data Protection)系统必须具有一个高效的存储系统来支撑.本文提出了一种分布式的存储模型,在此基础之上设计了一个面向CDP应用的分布式存储系统.同传统CDP系统相比,本文提出了分布式存储应用于... 详细信息
来源: 评论
分布式间数据分片与跨边界拓扑连接优化方法
收藏 引用
软件学报 2011年 第2期22卷 269-284页
作者: 朱欣焰 周春辉 呙维 夏宇 武汉大学测绘遥感信息工程国家重点实验室 湖北武汉430079 武汉大学空天信息安全与可信计算教育部重点实验室 湖北武汉430079 武汉理工大学航运学院 湖北武汉430063 江西师范大学地理与环境学院 江西南昌330022
研究分布式间数据库(distributed spatial database,简称DSDB)中数据按区域分片时的跨边界片段拓扑连接查询问题,并提出相应的优化方法.首先研究了分布式环境下的间数据的分片与分布,提出了间数据分片的扩展原则:间聚集性、... 详细信息
来源: 评论