云南高校图书馆联盟文献共享服务平台- 国家高技术研究发展计划(863-104-03-01)

国家高技术研究发展计划(863-104-03-01): 作品数：28被引量：115H指数：6; 导出分析报告; 相关作者：周明天谭良谭兴烈谢鸿波罗俊更多>>; 相关机构：电子科技大学四川师范大学卫士通信息产业股份有限公司四川大学更多>>; 相关期刊：《计算机研究与发展》《计算机应用》《电子科技大学学报》《计算机工程与应用》更多>>; 相关主题：可信计算安全协议IPSEC访问控制信息安全更多>>; 相关领域：自动化与计算机技术电气工程更多>>

基于时序关系的消息推理及安全协议符号迹分析: 《中国电子科学研究院学报》2010年第2期152-158,共7页谢鸿波吴远成周明天; 国家973项目(2007CB310800);国家863项目(863-104-03-01); 如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消...; 关键词：符号迹 SPI算子消息推理形式化分析

Research and improvement on the limitation of authentication test: 《High Technology Letters》2008年第3期266-270,共5页刘家芬 Zhou Mingtian; the National High Technology Research and Development Programme of China(No.863-104-03-01); This paper elaborated on the limitation of authentication test theorem, illustrated the fundamental cause of that limitation through examples, then enhanced authentication test to solve this problem, and also proved t...; 关键词：authentication test strand space formal method security protocol analysis

可信操作系统中可信客体的研究被引量：3: 《计算机应用》2008年第5期1186-1189,共4页谭良; 国家863计划项目(863-104-03-01);四川省科技攻关项目(03GG007-007); 首先分析了操作系统中客体的类型,将客体分为静态客体和动态客体,然后总结了安全操作系统中对客体的处理存在的问题。在此基础路上,提出可信静态客体、可信动态客体和可信客体的概念,并分析了可信客体的特点以及与安全客体的关系。最后...; 关键词：安全操作系统客体可信操作系统可信静态客体可信动态客体可信客体

认证协议的有向图模型及其安全性分析: 《小型微型计算机系统》2008年第4期622-626,共5页谢鸿波吴远成周明天; 国家“八六三”基金项目(863-104-03-01)资助; 认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-La...; 关键词：认证协议协议形式化分析有向图

基于可信计算平台的可信引导过程研究被引量：8: 《计算机应用研究》2008年第1期232-234,共3页谭良周明天; 国家“863”计划资助项目(863-104-03-01);2003年度四川省科技攻关项目(03GG007-007); 基于可信计算联盟的规范,设计了基于TPM的可信引导过程,并指出了该可信引导过程中亟待解决的问题。安全性分析表明,该可信引导过程可以使计算机获得更高的安全保障,为进一步建立可信计算环境提供了基础。; 关键词：可信计算可信平台模块完整性度量

一种Linux网络硬件加密高性能并发调度方法被引量：8: 《计算机应用》2008年第1期65-67,70,共4页董贵山卢显良邓春梅罗俊; 国家863计划项目(863-104-03-01); 结合生产者—消费者调度原理进行改进,针对Linux系统的网络数据硬件加密调度提出了一种将Linux网络协议栈与硬件加密调度紧密结合的并发调度方法——HENC。在生产者—消费者调度队列中增加了传送者指针,实现并通过测试数据验证了该高性...; 关键词：PCI 加密卡吞吐率并行处理

可信操作系统研究被引量：5: 《计算机应用研究》2007年第12期10-15,共6页谭良周明天; 国家"863"计划资助项目(863-104-03-01);2003年度四川省科技攻关资助项目(03GG007-007); 简要回顾了安全操作系统的发展历史,指出了安全操作系统当前存在的主要问题;在此基础上提出了可信操作系统的概念,分析了可信操作系统的特点、内涵以及与安全操作系统的关系;最后提出了可信操作系统需要解决的问题,为下一步将要开展的...; 关键词：安全操作系统可信操作系统可信计算

安全协议认证属性的设计框架研究: 《计算机应用》2007年第12期2928-2930,2933,共4页刘一静谢鸿波吴远成; 国家863计划资助项目(863-104-03-01); 提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证...; 关键词：协议设计认证属性迹模型通道模型

垃圾邮件分类的偏依赖特性研究被引量：1: 《电子学报》2007年第10期1870-1874,共5页刘震谭良周明天; 国家863高技术研究发展计划(No.863-104-03-01); 由于相对于漏报,误报会对邮件过滤性能造成更负面的影响,因此有必要研究如何让邮件过滤器对误报代价表现出更高的敏感性.本文通过引入具有偏依赖特征的权值系数函数,提出了一种能够实现非对称训练学习的改进拟合Logistic Regression邮...; 关键词：垃圾邮件偏依赖误报率漏报率

一种新的用户登录可信认证方案的设计与实现被引量：6: 《计算机应用》2007年第5期1070-1072,1102,共4页谭良周明天; 国家863计划资助项目(863-104-03-01);四川省教育厅资助项目(2006ZD022); 用户登录身份认证是建立操作系统可信性中一个非常重要的环节。操作系统采用口令、智能卡、USBKEY,甚至还采用了指纹、虹膜等认证方式来确认用户的身份,除了存在密码容易被遗忘、猜测、截获等一系列安全隐患外,还存在身份信息的存储安...; 关键词：可信计算可信平台模块用户认证可信登录

国家高技术研究发展计划(863-104-03-01)