陈幼雷

作品数：7被引量：73H指数：4
导出分析报告
供职机构：北京工业大学计算机学院更多>>
发文主题：信息安全可信计算安全计算机计算机无干扰更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程与应用》《通信学报》《计算机工程》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划湖北省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于进程的无干扰可信模型被引量：28
《通信学报》2009年第3期6-11,共6页张兴 陈幼雷 沈昌祥 
国家重点基础研究发展计划("973"计划)基金资助项目(2007CB311100);国家高技术研究发展计划("863"计划)基金资助项目(2006AA01Z440);北京市科技计划基金资助项目(Z07000100720706)~~
提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔...
关键词：可信 无干扰 进程运行可信 系统运行可信 
操作系统可信增强框架研究与实现被引量：5
《计算机工程》2007年第6期12-14,18,共4页陈幼雷 黄强 沈昌祥 
国家"863"计划基金资助项目(2002AA1Z2101)
操作系统安全增强技术是解决系统安全问题的有效手段,但无法保证系统基础可信。文章从分析可信和安全关系入手,提出可信增强概念。设计了操作系统可信增强框架,将可信机制和安全功能有机结合进安全体系结构设计中,并对实施和应用进行了...
关键词：安全增强 可信增强框架 可信机制 安全功能 可信计算体系结构 
基于可信计算的保密和完整性统一安全策略被引量：26
《计算机工程与应用》2006年第10期15-18,共4页黄强 沈昌祥 陈幼雷 方艳湘 
国家973基础研究规划资助项目(编号:TG1999035801)
为解决在高安全等级操作系统应用的保密性/完整性统一多级访问控制模型可用性差问题及增强其安全性,为系统引入可信计算(TCPA)技术并指出它对安全机制的增强作用。对可信计算平台环境下保密性/完整性统一的访问控制模型中可信主体的特...
关键词：可信计算 可信主体 BLP模型 BIBA模型 
可信支撑框架设计及应用模式研究被引量：2
《计算机工程与应用》2006年第4期16-19,64,共5页陈幼雷 沈昌祥 
国家863高技术研究发展计划基金资助项目(编号:2002AA1Z2101)
文章借鉴可信计算思想,从可信支撑角度提出了一个基于通用计算平台的可信支撑框架(TSF)及原型的设计,并就该框架在通用计算平台上如何应用进行了研究,提出了一种实用的应用模式。该框架对TCG定义的TPM在概念和功能上进行了扩展,设计了...
关键词：可信支撑框架 TCG TPM 可信支撑模块 可信计算体系结构 
智能卡系统的安全性研究被引量：3
《计算机工程》2002年第7期63-65,共3页陈幼雷 王张宜 张焕国 
国家自然科学基金项目(66973034);湖北省自然科学基金项目 (99J03D)
从智能卡的逻辑结构和物理特性两个方面分析了卡系统的安全性,并在此基础上抽象出一种安全模型。在此模型中对目前世界上主流的卡攻击技术作了一定的归纳。
关键词：智能卡系统 安全性 安全模型 物理攻击 信息安全 
Linux下IPsec的实现被引量：1
《计算机工程与应用》2002年第11期157-159,共3页王张宜 陈幼雷 张焕国 
国家自然科学基金(编号:69973034); 湖北省自然科学基金(编号:99J030)
IPsec作为网络层的安全协议套件,是实现VPN的重要途径。在Linux系统下通过对网络部分代码的修改,可便捷地实现IPsec协议。该文结合笔者在Linux系统下实现IPsec的实践,描述了IPsec系统的基本结构和实现过程。
关键词：IPSEC协议 INTERNET 安全协议套件 安全联盟 LINUX 
个人防火墙技术的研究与探讨被引量：9
《计算机工程与应用》2002年第8期136-139,共4页陈幼雷 王张宜 张焕国 
国家自然科学基金资助(编号:66973034);湖北省自然科学基金资助(编号:99503D)
文章概述了防火墙的基本结构和所采用的包过滤,状态检测,代理服务器等三种基本技术。着重就主流个人防火墙技术及其特点以及针对个人用户的攻击手段,进行了相应的分析,并在此基础上提出了相应的改进,最后对个人防火墙的发展趋势,做了预测。
关键词：个人防火墙 包过滤 状态检测 代理服务器 计算机网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部