咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 控制科学与工程
    • 1 篇 软件工程
    • 1 篇 网络空间安全

主题

  • 3 篇 安全类型系统
  • 1 篇 进程代数
  • 1 篇 信息流控制
  • 1 篇 动态完整性度量
  • 1 篇 类型系统
  • 1 篇 编译
  • 1 篇 ima
  • 1 篇 可信计算
  • 1 篇 信息流完整性
  • 1 篇 安全类型规则
  • 1 篇 tpm
  • 1 篇 子类型规则
  • 1 篇 动态污点跟踪
  • 1 篇 安全模型

机构

  • 2 篇 解放军信息工程大...
  • 1 篇 国防科学技术大学
  • 1 篇 密码科学技术国家...
  • 1 篇 河南省信息安全重...

作者

  • 1 篇 陈性元
  • 1 篇 王伟峰
  • 1 篇 吴泽智
  • 1 篇 郭渊博
  • 1 篇 赵秀凤
  • 1 篇 杨丽娜
  • 1 篇 杜学绘
  • 1 篇 杨智

语言

  • 3 篇 中文
检索条件"主题词=安全类型系统"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
安全类型系统在编译技术中的应用研究
收藏
分享
引用
计算机工程与科学 2008年 第9期30卷 145-146,157页
作者： 赵秀凤 杨丽娜 郭渊博 解放军信息工程大学电子技术学院 河南郑州450004
类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
信息流控制研究进展
收藏
分享
引用
软件学报 2017年 第1期28卷 135-159页
作者： 吴泽智 陈性元 杨智 杜学绘 解放军信息工程大学 河南郑州450001 密码科学技术国家重点实验室 北京100094 河南省信息安全重点实验室 河南郑州450001
信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
可信计算动态完整性度量模型设计与实现
可信计算动态完整性度量模型设计与实现
收藏
分享
引用
作者： 王伟峰 国防科学技术大学
学位级别：硕士
随着网络信息技术的普及,信息安全形势越来越严峻;虽然许多研究机构不断地推出各种方法,抵挡网络攻击,却始终缺乏对终端的有效防护;可信计算的出现为终端安全防护提供了一种可行思路。可信计算是指从最初的信任根出发,通过完整性度量的... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件