检索结果-内蒙古大学图书馆

计算机研究与发展 2006年第z2期43卷 1-4页

作者：唐春明刘卓军王明生广州大学数学与信息科学学院广东省信息安全技术重点实验室广州510006 中国科学院数学与系统科学研究院数学机械化重点实验室北京100080 中国科学院信息安全国家重点实验室北京100080

Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blu... 详细信息

Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统是未知的.基于Σ-协议,构造了证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统,而且,也构造了证明秘密整数是具有pk11qk21(其中k1和k2至少有一个大于1)形式的Blum整数的零知识证明系统.

关键词： Blum整数承诺零知识证明

来源：评论

学校读者我要写书评

暂无评论

高效可认证组密钥协商协议

高效可认证组密钥协商协议

引用

第九届中国密码学学术会议

作者：曹正军刘木兰上海大学数学系 200444 中国科学院数学与系统科学研究院数学机械化重点实验室 100080 中国科学院数学与系统科学研究院数学机械化重点实验室 100080

本文对高效可认证组密钥协商协议进行了研究，提出了一个基于ElGamal密码系统和Shamir密钥分享技术的可认证组密钥协商协议,建立了一个高效可认证组密钥协商协议,并证明它能够抵抗自适应选择消息攻击。

关键词：保密通信信息安全密钥协商

来源：评论

学校读者我要写书评

暂无评论

可行的证明整数是Blum数的零知识证明系统

可行的证明整数是Blum数的零知识证明系统

引用

第二届中国可信计算与信息安全学术会议

作者：唐春明刘卓军王明生广州大学数学与信息科学学院(广东省信息安全技术重点实验室) 广州510006 中国科学院数学与系统科学研究院数学机械化重点实验室北京100080 中国科学院信息安全国家重点实验室北京100080

Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统是未知的.基于∑-协议,构造了证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统,而且,也构造了证明秘密整数是具有pk11qk21(其中k1和k2至少有一个大于1)形式的Blum整数的零知识证明系统.

关键词： Blum整数承诺零知识证明

来源：评论

学校读者我要写书评

暂无评论

分区参数Grbner基的计算

引用

系统科学与数学 2005年第2期25卷 129-138页

作者：李鹏陈雪峰王定康中国科学院数学与系统科学研究院数学机械化重点实验室北京100080

对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.

关键词：分区 Groebner基计算多项式理想含参数终止性正确性算法

来源：评论

学校读者我要写书评

暂无评论

构造两个曲面的拼接曲面

引用

工程图学学报 2005年第1期26卷 39-44页

作者：程进三高小山中国科学院数学与系统科学研究院数学机械化重点实验室北京100080

给出了当两个待拼接曲面的拼接线具有参数化形式或者可以参数化时,它们之间 G1光滑拼接曲面的构造方法。所得的拼接曲面是由一个空间曲线集定义的,每一条空间曲线由拼接线上的点对确定。并且拼接曲面都是参数曲面,它们的形状可以通过预... 详细信息

给出了当两个待拼接曲面的拼接线具有参数化形式或者可以参数化时,它们之间 G1光滑拼接曲面的构造方法。所得的拼接曲面是由一个空间曲线集定义的,每一条空间曲线由拼接线上的点对确定。并且拼接曲面都是参数曲面,它们的形状可以通过预设的参数很好地调整和控制。作为实例,讨论了两个截口是平面的或非平面的(由两个二次曲面定义)的二次曲面之间的拼接曲面的构造和一般的参数曲面的拼接曲面的构造。

关键词：计算机应用曲面拼接参数曲面 Bezier曲线

来源：评论

学校读者我要写书评

暂无评论

广义分解定理与两个不等式

引用

数学年刊（A辑） 2005年第2期26卷 165-172页

作者：曹正军刘丽华中国科学院数学与系统科学研究院系统所数学机械化重点实验室北京100080 上海交通大学数学系上海200240

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.

关键词：度量投影广义投影基本变分原理广义分解定理

来源：评论

学校读者我要写书评

暂无评论

几何代数和几何计算(一)

引用

科学 2005年第5期57卷 3-7页

作者：石赫李洪波中国科学院数学与系统科学研究院数学机械化重点实验室研究员北京100080

数学是研究现实世界的"数"与"形"的科学.数学就是围绕这两个概念的演变而发展的,也通过这两个基本概念应用到各个不同的领域中去.代数是研究"数"的学科,几何是研究"形"的学科.数学科学发展的... 详细信息

数学是研究现实世界的"数"与"形"的科学.数学就是围绕这两个概念的演变而发展的,也通过这两个基本概念应用到各个不同的领域中去.代数是研究"数"的学科,几何是研究"形"的学科.数学科学发展的历程中两者彼此独立,又相互缠绕.几何(形)的概念用代数(数)表示,几何的目标可经过代数计算实现;反之,代数语言赋有了几何背景,可更加直观地理解它们的意义,发现它们的丰富内涵.吴文俊院士指出:几何代数化,在近代数学的兴起和发展过程中发挥着决定性的作用.