云南高校图书馆联盟文献共享服务平台- 北京市自然科学基金(4052016)

北京市自然科学基金(4052016): 作品数：27被引量：128H指数：7; 导出分析报告; 相关作者：卿斯汉何建波贺也平沈晴霓王超更多>>; 相关机构：中国科学院软件研究所中国科学院研究生院北京大学北京中科安胜信息技术有限公司更多>>; 相关期刊：《北京交通大学学报》《计算机学报》《系统仿真学报》《计算机工程与设计》更多>>; 相关主题：网络安全形式化安全操作系统最小特权Z更多>>; 相关领域：自动化与计算机技术电子电信文化科学天文地球更多>>

“操作系统安全”课程建设与多模式教学方法研究被引量：3: 《计算机教育》2008年第18期115-117,共3页沈晴霓卿斯汉; 国家自然科学基金(批准号:60573042);北京市自然科学基金(批准号:4052016); 鉴于在中国科学院软件研究所长期从事的安胜安全操作系统的研发经验和成果，我们从模块化知识体系和工程实践角度，采取了集课堂讲授、讨论交流、实例演示、实验和课程项目为一体的多模式教学方法。本文介绍了我们的研究成果。; 关键词：操作系统安全模块化知识体系多模式教学方法

新颖的基于并发签名的公平交易协议被引量：9: 《通信学报》2008年第7期39-43,共5页陈广辉卿斯汉齐志峰杨义先; 国家重点基础研究发展计划(“973”计划)基金资助项目(2007CB310704,G1999035802);北京邮电大学博士研究生创新基金(2006)资助项目;北京市自然科学基金资助项目(4052016);国家自然科学基金资助项目(60573042)~~; 基于完美的并发签名,提出了一个新颖的公平交易协议,在双方起初交换2个模糊签名及相关交易数据的时候,任何人都无法辨认是谁签了哪一个签名,直到发起方公布一个秘密信息,2个签名才同时绑定到各自的签署方,之后另一方发送解密商品的密钥...; 关键词：安全协议公平交易并发签名不可否认性

特权约束系统职责隔离问题研究: 《计算机研究与发展》2008年第4期666-676,共11页蔡嘉勇卿斯汉刘伟; 北京市自然科学基金项目(4052016);国家自然科学基金项目(60573042);国家“九七三”重点基础研究发展规划基金项目(G1999035802); 特权控制操作系统最重要的资源,需要应用职责隔离原则,确保特权安全.与现有研究不同,从特权隐式授权方面探讨对职责隔离的支持问题.通过分析特权来源,将特权定义分解为约束规则与执行规则,弥补了现有访问控制研究中对权限效果描述不足...; 关键词：特权约束规则执行规则推导职责隔离

Isabelle在分析安全操作系统状态机模型中的应用被引量：2: 《计算机工程与设计》2008年第3期580-582,730,共4页陈坤贺也平; 国家自然科学基金面上项目(60573042);北京市自然科学基金项目(4052016); 为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形...; 关键词：形式化 Isabelle工具状态机模型安全操作系统可信进程模型

一种基于TE技术实现Clark-Wilson模型的方法被引量：2: 《电子学报》2008年第2期216-223,共8页何建波郭新卿斯汉; 国家973重点基础研究发展规划基金(No.G1999035802);国家自然科学基金(No.60573042);北京市自然科学基金(No.4052016); 分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,lis...; 关键词：CLARK-WILSON模型完整性 TE机制职责隔离

XEN虚拟机分析被引量：20: 《系统仿真学报》2007年第23期5556-5558,5569,共4页薛海峰卿斯汉张焕国; 北京市自然科学基金(4052016);国家自然科学基金(60673071;60573042);国家重点基础研究发展规划(973)(G1999035802); 硬件计算能力的极大提高重新激发了人们研究虚拟机软件的热情。XEN虚拟机是目前业界广泛看好的一款开源的虚拟机管理软件,它具有良好的体系结构和优越的性能。随着虚拟机的应用,会出现新的安全问题。介绍了XEN虚拟机的系统结构,重点探...; 关键词：虚拟机 XEN 安全 VT-x

基于DTE策略的安全域隔离Z形式模型被引量：6: 《计算机研究与发展》2007年第11期1881-1888,共8页卿斯汉李丽萍何建波沈晴霓; 北京市自然科学基金项目(4052016);国家自然科学基金项目(60573042);国家"九七三"重点基础研究发展规划基金项目(G1999035802)~~; 基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一.但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点,导致系统安全性难以得到保证.定义了一个基于DTE策略的安全域隔离模型,采用Z语言形式...; 关键词：安全域隔离信息流 DTE 可信管道形式化

新颖的移动代理动态数据完整性保护协议被引量：1: 《通信学报》2007年第8期1-10,共10页李鹏飞卿斯汉马恒太邓勇; 国家安全重大基础研究项目(5130103);国家自然科学基金资助项目(60573042);国家重点基础研究发展计划("973"计划)基金资助项目(G1999035802);北京市自然科学基金资助项目(4052016)~~; 通过引入攻击者能力来对完整性的强弱进行划分和定义,在此基础上,分析了合谋情况下对动态数据进行截断攻击的问题,并给出了一个新颖的移动代理数据保护协议,该协议通过引入反向签名机制,形成一条从源节点到当前节点的信任链,实现对漫游...; 关键词：移动代理自由漫游抗截断攻击数据完整性

一种基于RBAC的电子商务匿名性与可追究性实现方案被引量：3: 《计算机科学》2007年第7期86-89,共4页马勇卿斯汉贺也平; 北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(973)(批准号:G1999035802); 提出了一种基于RBAC思想对可信第三方功能进行分类并结合其他一些技术实现电子商务中匿名性与可追究性的解决方案,主要涉及三个主要过程:用户的注册控制、交易过程的控制及投诉处理过程。通过对注册用户的信息进行加密并对加密密钥进行...; 关键词：RBAC 电子商务匿名性可追究行安全协议

Design of secure operating systems with high security levels被引量：5: 《Science in China(Series F)》2007年第3期399-418,共20页QING SiHan1,2 & SHEN ChangXiang3 1 Institute of Software, Chinese Academy of Sciences, Beijing 100080, China 2 School of Software and Microelectronics, Peking University, Beijing 102600, China 3 Institute of Computing Technology, Navy, Beijing 100841, China; the Natural Science Foundation of Beijing (Grant No. 4052016);the National Natural Science Foundation of China (Grant No. 60573042);the National Grand Fundamental Research 973 Program of China (Grant No. G1999035802); Numerous Internet security incidents have shown that support from secure operating systems is paramount to fighting threats posed by modern computing environments. Based on the requirements of the relevant national an...; 关键词：secure operating systems with high security levels ARCHITECTURE security model covert channel analysis

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

北京市自然科学基金(4052016)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

北京市自然科学基金(4052016)

检索结果分析

下载全文

用户登录

高级检索检索式检索