国家自然科学基金(60373039)

作品数：4被引量：6H指数：1
导出分析报告
相关作者：王仁宏王继贵张振锋周永彬雷浩更多>>
相关机构：大连理工大学中国科学院软件研究所中国人民解放军外国语学院山东大学更多>>
相关期刊：《Acta Mathematica Sinica,English Series》《山东大学学报（工学版）》《辽宁师范大学学报（自然科学版）》《电子学报》更多>>
相关主题：BEZIER曲面过渡曲面门限密码系统权限ADDITIVE更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CS逻辑的分析及改进
《山东大学学报（工学版）》2006年第5期102-106,共5页李丽 李正朝 秦静 
国家自然科学基金资助项目(60373039);国家"863"基金资助项目(2003AA144151);山东省自然科学基金资助项目(Y2003A03)
较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映...
关键词：CS逻辑 Timed-release公钥协议 推理规则 
面向有差异群体的联合决策方案被引量：1
《电子学报》2005年第8期1523-1528,共6页雷浩 冯登国 周永彬 张振锋 
国家973课题项目(No.G1999035802);国家自然科学基金项目(No.60373039);国家自然科学基金重大研究计划项目(No.90304007);国家863课题项目(No.2004AA147070)
公平性、透明性是联合决策的基本安全需求.结合多机构商务合作背景,利用具有同态性质的Paillier公钥密码系统和门限密码技术,提出了面向有差异群体的联合决策策略与方案,并对其安全性进行了分析和证明.
关键词：联合决策 元权限 Paillier公钥密码系统 门限密码系统 
Bezier曲面片的光滑拼接被引量：5
《辽宁师范大学学报（自然科学版）》2005年第1期16-18,共3页王继贵 王仁宏 
国家自然科学基金资助项目(60373039);广东省自然科学基金资助项目(021755)
在研究两曲面片间几何连续条件基础上,给出了运用构造过渡曲面片来光滑地连接两相邻曲面片的一种方法,所得结果是对刘鼎元,胡康生等研究成果的改进,并给出了本算法的试验结果.
关键词：光滑拼接 BEZIER曲面 过渡曲面 几何连续 两相 算法 连接 构造 条件 研究成果 
An Additive Problem with Primes in Arithmetic Progressions
《Acta Mathematica Sinica,English Series》2005年第1期155-168,共14页ZhenFengZHANG 
Project supported by National Natural Science Foundation(No.10171027,60373039)of China;Research Foundation(No.XK01071)of Henan University
In this paper, we extend a classical result of Hua to arithmetic progressionswith large moduli. The result implies the Linnik Theorem on the least prime in an arithmeticprogression.
关键词：Additive problem PRIME Arithmetic progression Circle method 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部