云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60970139)

国家自然科学基金(60970139): 作品数：11被引量：21H指数：2; 导出分析报告; 相关作者：李红达王文发马燕许淳李宝更多>>; 相关机构：中国科学院软件研究所延安大学中国科学院研究生院信息安全国家重点实验室更多>>; 相关期刊：《中国科学：信息科学》《计算机技术与发展》《计算机工程与设计》《Science China(Information Sciences)》更多>>; 相关主题：KNOWLEDGECONSTANTROUND变位NP更多>>; 相关领域：自动化与计算机技术电子电信石油与天然气工程更多>>

Attribute-based non-interactive key exchange被引量：1: 《Science China(Information Sciences)》2017年第1期204-206,共3页Fei TANG Rui ZHANG Hongda LI; Rui Zhang was supported by Strategic Priority Research Program of the Chinese Academy of Sciences (Grant No. XDA06010703).;Hongda Li was supported by National Natural Science Foundation of China (Grant No. 60970139); Dear editor, In this work, we study the notion of attribute- based non-interactive key-exchange （ABNIKE）. As a natural extension of the notions of non-interactive key-exchange （NIKE） [1, 2] and identity-based non-...; 关键词：PRF AB NIKE Attribute-based non-interactive key exchange

Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP: 《Science China(Information Sciences)》2014年第1期146-159,共14页LI HongDa FENG DengGuo; partially supported by National Basic Research Program of China(973 program)(Grant No.2007CB311202);National Natural Science Foundation of China(Grant No.60970139);Strategic Priority Program of Chinese Academy of Sciences(Grant No.XDA06010702);IIEs Cryptography Research Project; Barak and Lindell showed that there exist constant-round zero-knowledge arguments of knowledge with strict polynomial-time extractors. This leaves the open problem of whether it is possible to obtain an analogous resu...; 关键词：zero-knowledge proofs proofs of knowledge constant-round strict polynomial-time extractors

Round-optimal zero-knowledge proofs of knowledge for NP被引量：1: 《Science China(Information Sciences)》2012年第11期2473-2484,共12页LI HongDa FENG DengGuo LI Bao XUE HaiXia; supported by National Basic Research Program of China (Grants Nos. 2007CB311202,2007CB311201);National Natural Science Foundation of China (Grant No. 60970139);National High-Tech Research & Development Plan of China (Grant No. 2006AA01Z427);Strategic Priority Program of Chinese Academy of Sciences (Grant No. XDA06010702); It is well known that all the known black-box zero-knowledge proofs of knowledge for NP are non- constant-round. Whether there exit constant-round black-box zero-knowledge proofs of knowledge for all NP languages unde...; 关键词：zero-knowledge proofs proofs of knowledge black-box simulation constant-round

两端球状圆柱体储油罐变位识别与罐容标定: 《计算机工程与设计》2012年第7期2847-2851,共5页王文发马燕田云娜李红达; 国家自然科学基金项目(60970139); 为了解决由于储油罐变位而导致的罐容表计量误差问题,对两端球状的圆柱体储油罐变位后罐内油量进行了重新标定,针对储油罐可能在水平和竖直两个方向上发生变位,分析了两种情况变位前后罐容间的关系,在此基础上建立了相应的标定模型和储...; 关键词：变位识别罐容标定模型

两端平头圆柱体储油罐变位识别与罐容标定: 《计算机技术与发展》2012年第6期195-197,202,共4页王文发李竹林许淳李红达; 国家自然科学基金资助项目(60970139);陕西省自然科学基础计划项目(2009JM8004-7); 由于受地基变形等原因影响,使储油罐罐体的位置产生纵向倾斜和横向偏转等变化,从而导致罐容表读取数据和实际数据偏差很大。为了解决由于储油罐变位而导致的罐容表计量误差问题,采用了基于体积计算的微元法对两端平头圆柱体储油罐变位...; 关键词：变位识别罐容标定模型

基于Web的生产统计报表的设计与实现被引量：13: 《计算机技术与发展》2012年第2期213-216,共4页马燕王文发许淳李红达; 国家自然科学基金资助项目(60970139); 报表作为信息组织和分析的有效手段和重要呈现形式,是企业管理信息系统的重要组成部分,如何方便、快捷、准确地生成各种统计报表,是一个值得研究的课题。结合项目开发,提出了基于Web的石油企业生产统计报表设计与实现的技术方法和结构模...; 关键词：报表统计类接口结构模型

NP问题的最优轮复杂性知识的零知识证明: 《中国科学：信息科学》2012年第1期20-31,共12页李红达冯登国李宝徐海霞; 国家重点基础研究发展计划(批准号:2007CB311202;2007CB311201);国家自然科学基金(批准号:60970139)资助项目; NP问题已有的知识的(黑箱)零知识证明都是非常数轮的,因此,在标准的复杂性假设下,NP问题是否存在常数轮的(黑箱)知识的零知识证明是一个有意义的问题.本文对该问题进行了研究,在一定的假设下给出了HC问题的两个常数轮知识的零知识证明系...; 关键词：零知识证明知识的证明黑箱模拟常数轮密码学

卧式椭圆柱型储油罐的变位识别与罐容标定: 《石油化工高等学校学报》2011年第6期93-96,共4页王文发马燕田云娜李红达; 国家自然科学基金资助项目(60970139); 为了解决由于储油罐变位而导致的罐容表计量误差问题,对卧式椭圆柱型储油罐变位后罐内油量进行了重新标定,建立了相应的标定模型和储油罐在水平和倾斜放置时的罐容标定公式,并给出了模型的求解步骤。通过实例对模型进行检验,检验结果验...; 关键词：变位识别罐容标定模型

基于欧拉函数秘密分享的RSA私钥的理性分布计算(英文)被引量：5: 《计算机工程与科学》2010年第9期11-17,共7页李铁牛李红达; 国家自然科学基金资助项目(60970139); 随着分布式计算的发展,分布式计算环境中的安全性问题变得越来越突出。基于RSA算法的分布式认证和分布式数据加密等安全性机制也取得了长足的发展。不过,这些机制中大部分是基于传统密码协议中参与者类型的假设:半诚实或恶意的。本文从...; 关键词：纳什均衡私钥欧拉函数理性分布计算严格劣势剔除策略

NP问题的常数轮知识的零知识证明系统被引量：1: 《中国科学：信息科学》2010年第9期1197-1210,共14页李红达徐海霞李宝冯登国; 国家重点基础研究发展计划(批准号:2007CB311202,2007CB311201);国家高技术研究发展计划(批准号:2006AA01Z427);国家自然科学基金(批准号:60970139)资助项目; 文中研究在标准复杂性假设下NP问题的常数轮知识的零知识证明系统的存在性问题.利用一种特殊的交互证明模式,在因子分解的困难性假设下,给出了NP问题的一个3轮的知识的零知识证明系统.文中给出的证明系统不仅肯定了NP问题的常数轮知识...; 关键词：零知识证明知识的证明常数轮 NP关系

国家自然科学基金(60970139)