咨询与建议

限定检索结果

文献类型

  • 115 篇 会议
  • 12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 114 篇 工学
    • 90 篇 网络空间安全
    • 53 篇 计算机科学与技术...
    • 16 篇 软件工程
    • 7 篇 仪器科学与技术
    • 7 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 1 篇 机械工程
  • 9 篇 理学
    • 8 篇 数学
    • 1 篇 系统科学
  • 4 篇 军事学
    • 4 篇 军队指挥学
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...

主题

  • 25 篇 可信计算
  • 12 篇 信息安全
  • 7 篇 中国
  • 6 篇 专业委员会
  • 6 篇 学术会议
  • 6 篇 北京工业大学
  • 5 篇 可信计算平台
  • 5 篇 技术交流
  • 5 篇 会议
  • 5 篇 ctcis 2010
  • 4 篇 密码学
  • 4 篇 可信平台模块
  • 4 篇 访问控制
  • 3 篇 密码分析
  • 3 篇 可信软件栈
  • 3 篇 密钥协商
  • 3 篇 征文通知
  • 3 篇 中华人民共和国
  • 3 篇 双线性对
  • 2 篇 僵尸网络

机构

  • 21 篇 北京工业大学
  • 18 篇 西安电子科技大学
  • 15 篇 武汉大学
  • 13 篇 信息工程大学
  • 5 篇 哈尔滨工程大学
  • 4 篇 解放军信息工程大...
  • 3 篇 国防科学技术大学
  • 3 篇 南京大学
  • 3 篇 北京邮电大学
  • 3 篇 北京大学
  • 3 篇 吉林大学
  • 3 篇 南京邮电大学
  • 2 篇 华中科技大学
  • 2 篇 海军工程大学
  • 2 篇 中国科学院软件研...
  • 2 篇 国家保密科学技术...
  • 2 篇 武汉理工大学
  • 2 篇 解放军装备指挥技...
  • 2 篇 成都市现代通信国...
  • 2 篇 新疆维吾尔自治区...

作者

  • 9 篇 张焕国
  • 6 篇 胡予濮
  • 5 篇 张兴
  • 5 篇 赵勇
  • 4 篇 黄宁玉
  • 4 篇 公备
  • 4 篇 马春光
  • 4 篇 马建峰
  • 3 篇 庄俊玺
  • 3 篇 王慧强
  • 3 篇 王飞
  • 2 篇 杨震
  • 2 篇 郭曦
  • 2 篇 廖建华
  • 2 篇 严飞
  • 2 篇 王育民
  • 2 篇 段立娟
  • 2 篇 李瑜
  • 2 篇 董晓梅
  • 2 篇 李晖

语言

  • 127 篇 中文
检索条件"任意字段=2010年第四届中国可信计算与信息安全学术会议"
127 条 记 录,以下是41-50 订阅
排序:
基于模型检测的可信软件栈测试
基于模型检测的可信软件栈测试
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 何凡 张焕国 严飞 杨飏 汪红 孟学军 武汉大学 计算机学院湖北武汉430072 武汉理工大学 计算机科学与技术学院湖北武汉430063 武汉大学 计算机学院湖北武汉430072 武汉大学 空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学 计算机学院湖北武汉430072 湖北省政府采购中心 湖北武汉430072 武汉大学 网络中心湖北武汉430072
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中... 详细信息
来源: 评论
一种可证安全的无证书数字签名方案
一种可证安全的无证书数字签名方案
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 王化群 大连海洋大学信息工程学院 大连 116023 西安电子科技大学综合业务网国家重点实验室西安 710071
根据Al-Riyami和Paterson所提出的无证书数字签名安全模型,利用双线性对技术和GDH(gap Diffie-Hellman)群,提出了一种无证书数字签名方案.在随机预言模型ROM(random oracle model)中,在CDH(computational Diffie-Hellman)问题困难性假设... 详细信息
来源: 评论
基于演化计算的组合模型序列密码分析
基于演化计算的组合模型序列密码分析
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 陈联俊 赵云 唐明 张焕国 武汉大学计算机学院 湖北武汉430072 武汉大学计算机学院 湖北武汉430072 武汉大学 空天信息安全与可信计算教育部重点实验室湖北武汉430072
给出了一种利用演化计算对组合模型序列密码体制进行分析的方法.实验表明,用该演化计算方法对Geefe发生器和门限发生器进行分析时,算法复杂度比穷举法的复杂度低;该演化计算方法用于组合模型序列密码的分别征服攻击时,效率明显提高.因... 详细信息
来源: 评论
可信网络连接中一种基于可信度的细粒度授权模型
可信网络连接中一种基于可信度的细粒度授权模型
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 邹冰玉 张焕国 郭曦 胡颖 加米拉·沙塔尔 武汉大学 计算机学院湖北武汉430072 武汉大学 空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学 计算机学院湖北武汉430072 新疆维吾尔自治区民族语言文字工作委员会 新疆乌鲁木齐830001
针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有定义等问题,提出了根据请求者的行为及其平台计算环境特征评估其信任级别的方法,研究了具有反馈功能的动态访问授权模型,并在构... 详细信息
来源: 评论
基于l-MOMSDH假设的短群签名DAA方案
基于l-MOMSDH假设的短群签名DAA方案
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 周雁舟 张焕国 李立新 宋扬 武汉大学计算机学院 武汉430072 信息工程大学电子技术学院 郑州450004 武汉大学计算机学院 武汉430072 信息工程大学电子技术学院 郑州450004 解放军65711部队 大连116500
提出将标准模型下基于l-MOMSDH假设的短群签名方案作用于DAA协议,该协议基于Fiat-shamir启发式设计思想,完成了协议知识签名的数学构造,实现了非交互式零知识证明到知识签名的转化.具有签名长度短、运行效率高及标准模型下可证安全等特... 详细信息
来源: 评论
可信计算中的可信度量机制
可信计算中的可信度量机制
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 张立强 张焕国 张帆 武汉大学 软件工程国家重点实验室武汉430072 武汉大学计算机学院 武汉430072 武汉大学计算机学院 武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室 武汉430072 杭州电子科技大学通信工程学院 杭州310018
为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的基础上,对可信的概念进行扩展,引入信任度量机制,依据可信度量的需求和目标,给出需求导向、多目标融合的度量对象树模型以及对... 详细信息
来源: 评论
对基于可信计算的网格行为信任模型的量化评估方法研究
对基于可信计算的网格行为信任模型的量化评估方法研究
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 刘利钊 魏鹏 王颖 李茂青 厦门大学自动化系 厦门市思明区361005 莫斯科国立大学计算机系 莫斯科107076
针对基于可信计算的网格行为信任模型,运用波动信息能量变换给出了根据实体的交互经验和交互时间计算历史信任值和直接信任值的方法;用Hausdorff距离构造了函数相关程度的算法.进而给出了自我信任值的计算方法.通过采用门限值作为平均... 详细信息
来源: 评论
基于蚁群算法的无线传感器网络信任模型
基于蚁群算法的无线传感器网络信任模型
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 潘耘 李嫣 王励成 中国传媒大学 计算机学院 北京 100024 北京邮电大学 信息安全中心 北京 100876
针对Marmol等人提出的基于蚁群算法的信任模型限制因素过多的缺点,从节点类型、节点功能、节点信任值增加等方面对其进行了改进,并做了大量仿真实验来验证改进后的信任模型的正确性和有效性.此外,改进模型在无线传感器网络应用场景中的... 详细信息
来源: 评论
时间和功耗双随机化的AES抗差分能量攻击设计
时间和功耗双随机化的AES抗差分能量攻击设计
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 严迎建 刘凯 任方 朱巍巍 解放军信息工程大学 电子技术学院郑州450004
分析了时间随机化技术的不足以及掩码技术(功耗随机化)的缺点,在完全防御差分能量攻击的基础上进行基于抗差分能量攻击的设计,提出一种时间和功耗双随机化的电路结构,将其应用在AES算法中,并在FPGA密码芯片、示波器和PC机组成的功耗采... 详细信息
来源: 评论
利用多维观测序列的KCFM混合模型检测新型P2P botnet
利用多维观测序列的KCFM混合模型检测新型P2P botnet
收藏 引用
2010年第四届中国可信计算与信息安全学术会议
作者: 康健 宋元章 吉林大学计算机科学与技术学院 长春市前进大街2699号130012
提出了一种新颖的综合考虑多维观测序列的实时检测模型--KCFM.通过抽取新型分散式P2Pbotnet的多个特征构成多维观测序列,使用离散Kalman滤波算法发现流量异常变化,将Multi-chart CUSUM 作为差异放大器提高检测精度.实验表明,基于多维观... 详细信息
来源: 评论