咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 108 篇 期刊文献
  • 14 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 116 篇 工学
    • 69 篇 计算机科学与技术...
    • 31 篇 软件工程
    • 25 篇 机械工程
    • 12 篇 信息与通信工程
    • 11 篇 网络空间安全
    • 8 篇 仪器科学与技术
    • 7 篇 控制科学与工程
    • 5 篇 电子科学与技术（可...
    • 5 篇 航空宇航科学与技...
    • 3 篇 测绘科学与技术
    • 2 篇 地质资源与地质工...
    • 1 篇 光学工程
    • 1 篇 交通运输工程
  • 26 篇 管理学
    • 25 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 7 篇 理学
    • 3 篇 地理学
    • 1 篇 数学
    • 1 篇 天文学
    • 1 篇 地球物理学
    • 1 篇 系统科学
  • 4 篇 军事学
    • 2 篇 战术学
    • 2 篇 军队指挥学
  • 3 篇 艺术学
    • 3 篇 设计学（可授艺术学...

主题

  • 6 篇 可靠性
  • 5 篇 卫星网络
  • 5 篇 仿真
  • 4 篇 网络编码
  • 3 篇 软件容错
  • 3 篇 形式化方法
  • 3 篇 空间飞行器
  • 3 篇 吞吐量
  • 3 篇 体系结构
  • 3 篇 公平性
  • 3 篇 形式化模型
  • 3 篇 进化算法
  • 3 篇 匿名性
  • 3 篇 分布式仿真
  • 3 篇 公平非否认协议
  • 3 篇 视景仿真
  • 2 篇 建模
  • 2 篇 一致性问题
  • 2 篇 路由算法
  • 2 篇 地表形变模型

机构

  • 67 篇 中国科学院软件研...
  • 46 篇 中国科学院研究生...
  • 15 篇 中国科学院软件研...
  • 9 篇 国防科技大学
  • 8 篇 中国科学院软件研...
  • 8 篇 中国科学院软件研...
  • 5 篇 中国科学院综合信...
  • 5 篇 中国科学院软件所...
  • 4 篇 中国科学院大学
  • 4 篇 中国科学院
  • 3 篇 中国科学院软件所...
  • 3 篇 中国科学院软件研...
  • 3 篇 北京大学
  • 3 篇 北京机电工程研究...
  • 2 篇 中国科学院软件研...
  • 2 篇 中国科学院软件研...
  • 2 篇 天津大学
  • 2 篇 中国科学院软件研...
  • 2 篇 四川大学
  • 2 篇 西安电子科技大学

作者

  • 30 篇 郑昌文
  • 23 篇 吕品
  • 22 篇 胡晓惠
  • 16 篇 zheng chang-wen
  • 14 篇 刘立祥
  • 13 篇 郑刚
  • 11 篇 liu li-xiang
  • 11 篇 彭启民
  • 11 篇 张金芳
  • 10 篇 马恒太
  • 8 篇 吴佳泽
  • 8 篇 hu xiao-hui
  • 8 篇 zheng gang
  • 7 篇 李鹏飞
  • 7 篇 hu xiaohui
  • 7 篇 柳庆武
  • 7 篇 lv pin
  • 6 篇 zhang jin-fang
  • 6 篇 liu qing-wu
  • 6 篇 peng qi-min

语言

  • 122 篇 中文
检索条件"机构=中国科学院软件研究所综合信息系统国家级重点实验室"
共 122 条 记 录，以下是121-130 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
复杂系统规约、分析与验证发展现状与展望
收藏
分享
引用
前瞻科技 2023年 第1期2卷 7-22页
作者： 詹乃军 王戟 中国科学院软件研究所天基综合信息系统重点实验室 中国科学院软件研究所计算机科学国家重点实验室 国防科技大学计算机学院 国防科技大学高性能计算国家重点实验室
形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统... 详细信息
来源： 评论
ZG离线TTP公平非否认协议的安全性分析及改进
ZG离线TTP公平非否认协议的安全性分析及改进
收藏
分享
引用
第二届中国计算机网络与信息安全学术会议
作者： 刘冬梅 卿斯汉 李鹏飞 李尚杰 中国科学院 软件研究所 基础软件国家工程研究中心 北京 100080 中国科学院 研究生院北京 100039 中国科学院 软件研究所 信息安全技术工程研究中心 北京 100080 中国科学院 综合信息技术国家级重点实验室 北京 100080
对ZG离线TTP(trusted third pany)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共13页 <<  < 4 5 6 7 8 9 10 11 12 13 >  >>
回到顶部
执行限定条件