论文部分内容阅读
本文证明了ＭｃＥｌｉｅｃｅ公钥体制中的公开钥矩阵实际上就是一个Ｇｏｐｐａ码生成矩阵，指出Ａｄａｍｓ和Ｍｅｉｊｅｒ对ＭｃＥｌｉｅｃｅ公钥体制安全性分析的不合理之处。本文的结果对Ｋｏｒｚｈｉｋ Ｔｕｒｋｉｎ攻击是一种理论上的支持并与一类基于纠错码的公钥体制的安全性密切相差。
关于Mceliece公钥体制的安全性
【摘 要】
：
本文证明了ＭｃＥｌｉｅｃｅ公钥体制中的公开钥矩阵实际上就是一个Ｇｏｐｐａ码生成矩阵，指出Ａｄａｍｓ和Ｍｅｉｊｅｒ对ＭｃＥｌｉｅｃｅ公钥体制安全性分析的不合理之处。本文的结果对Ｋｏｒｚｈｉｋ Ｔｕｒｋｉｎ攻击是一种理论上的支持并与一类基于纠错码的公钥体制
【出 处】
：
软件学报
【发表日期】
：
1995年A01期
其他文献
CASS1是用代数化简方法设计的计算机代数系统。本文讨论CASS1的几个重要算法,包括:有理表达式的规范化简算法、非嵌套根式表达式的规范化简算法以及一类超越表达式的化简算法
本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分。进而描述了其操作语义模型：多态λ演算＋代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性
论文从问题提出、系统分析、数据库定义和各功能模块的实现详细论述了Access作为关系型桌面数据管理系统开发简单的教学管理系统的全过程，对Access在教学中的应用也进行了一定
本文提出一种交互式的程序(半)自动综合方法:使用显式策略引导系统进行程序构造。这些策略包括程序员提供的问题求解策略和系统内部的标准策略,如数学归纳法、归结方法和程序
随着教育部关于大学英语教学改革工程与基于计算机和网络的大学英语教学软件研发的正式启动，我国高校掀起了大学英语多媒体网络辅助教学的高潮，人们也对这种新的教学模式寄予了
根据高职教育的特点,结合计算机专业的具体实践,探讨了如何根据高职院校计算机专业的特点和培养目标,从办学体制、教学方法、管理手段以及人才培养模式上进行改革,目的在于探
软环境是相对于物质环境而言，是指诸如政务、政策、文化、法律、舆论、思想观念等因素和条件的总和，它是一个地区和城市经济发展和社会发展赖以依托的非物质基础，也是经济结构形
基于ＭＳ－ＧＳＭ，提出ＭＩＳ的环境识别，层次分析，过程分析与纵模分析的规范化过程，并对这一过程作详尽的讨论。
本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部
知识求精属知识获取的一个重要方面,旨在解决因知识不完全和噪音等因素引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD—KBST中求精器KBRS实现方案的介绍,论述