云南高校图书馆联盟文献共享服务平台- 国家重点基础研究发展计划(G1999035802)

国家重点基础研究发展计划(G1999035802): 作品数：126被引量：921H指数：14; 导出分析报告; 相关作者：冯登国卿斯汉李大兴吴文玲贺也平更多>>; 相关机构：中国科学院软件研究所中国科学院研究生院山东大学解放军信息工程大学更多>>; 相关期刊：《西安电子科技大学学报》《计算机学报》《计算机工程与设计》《北京航空航天大学学报》更多>>; 相关主题：信息安全网络安全安全协议形式化分析分组密码更多>>; 相关领域：自动化与计算机技术电子电信理学经济管理更多>>

一个可验证秘密共享新个体加入协议的安全性分析被引量：1: 《西安交通大学学报》2008年第8期1059-1060,共2页郝蓉宋智玲李绪亮; 国家高科技研究发展计划资助项目(2003AA141120,2004AA001260);国家重点基础研究发展规划资助项目(G1999035802); 关键词：秘密共享门限方案安全性

一种改进的多重密钥共享的门限方案被引量：4: 《计算机工程》2008年第5期11-13,24,共4页李锋李大兴; 国家"973"计划基金资助项目(G1999035802);国家"863"计划基金资助项目(2001AA141120); 给出一种改进的多重秘密共享的门限方案,在该方案中管理者可以安全有效地共享多个密钥,成员可以根据不同的共享密钥计算不同的子密钥。该方案采用知识签名的方法能够有效地抵御管理者欺骗和成员欺骗,具有良好的可扩展性,是安全且高效的。; 关键词：多重密钥共享门限方案认证

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

一种基于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机制职责隔离

一种改进的数据求精证明规则: 《计算机工程》2008年第1期23-25,共3页张宏贺也平石志国; 国家“973”计划基金资助项目(G1999035802); 提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isa...; 关键词：多级安全系统数据求精前向模拟后向模拟

前向安全的基于身份代理签名方案被引量：4: 《计算机工程与设计》2007年第21期5103-5104,5326,共3页王艳于佳李大兴; 国家973重点基础研究发展计划基金项目(G1999035802);国家863高技术研究发展计划基金项目(2001AA141120); 前向安全是数字签名方案的一个重要的方面。现在已经提出了许多前向安全的数字签名方案,但前向安全的代理签名方案到目前为止并不多。提出了一个前向安全的基于身份的代理签名方案,方案的安全参数与总的时间周期数量无关可以在保证代理...; 关键词：前向安全基于身份的签名代理签名双线性配对密钥更新

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

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

更为有效的代理数字签名方案被引量：2: 《微电子学与计算机》2007年第6期146-149,共4页王洪涛李大兴魏传瑾; 国家"973"重点基础研究发展规划基金项目(G1999035802);国家"863"高技术研究发展计划基金项目(2001AA141120); 针对Z.Fangguo和R.Safavi-Naini给出的代理签名方案实现效率慢的问题,做了一些必要的改进,提出了效率更高,实现速度更快的基于双线性对的代理数字签名方案,并从存储空间和实现速度上系统证明了新方案的优越性。另外,运用这种新方案的思...; 关键词：双线性对代理签名多重签名

一种入侵容忍的广播通讯KDC方案被引量：1: 《计算机应用》2007年第5期1038-1040,1053,共4页商建伟李锋张燕燕; 国家973规划资助项目(G1999035802);国家863计划资助项目(2001AA141120); 在使用密钥管理中心(KDC)进行广播通讯密钥分配的网络安全协议中,保证KDC的安全并提供高效率的密钥服务是一个非常重要的课题。区别于目前的域分割和服务器备份方案,使用双变量多项式作为门限构造函数,在多个分布式KDC服务器上分发不同...; 关键词：入侵容忍密钥管理中心伪随机数产生函数对称密钥

国家重点基础研究发展计划(G1999035802)