F2n中点集的线性不等式刻画

在分组密码的差分攻击中，为了利用计算机搜索最佳差分路径，人们将问题转换为其S-盒的差分分布表的最佳线性不等式逼近问题。确切地说，给定向量空间F₂ⁿ的一个非空点集A，寻找数目尽可能少的一次多项式的集合，使得满足所有多项式的值均大于或等于0的点集恰好为给定的点集A。在文献中能看到的做法通常是利用计算机软件(例如SAGE数学软件)算出很多的多项式，再用线性规划的方法从中挑选出最小个数的多项式。研究一次多项式的产生方法，称F₂ⁿ中的点集S是相容的，是指存在某个整系数一次多项式f(X)，使得S={P∈F₂ⁿ|f(P)<0}。主要有以下3个方面的结果：一是给定向量空间的维数n，对任意的1≤k≤2n，一定存在k元相容点集S；二是利用多项式加法的技巧，构造出一批k元相容点集；三是对于小参数k=1,2,3,4，给出k元点集S是相容的充分必要条件，同时也给出相应的k元相容点集的计数公式。     

椭圆曲线软件及密码卡的设计与实现

介绍了椭圆曲线密码在软件和低端环境中的设计与实现,主要包括高效的椭圆曲线密码软件、生成安全椭圆曲线的SEA算法软件和具有USB接口椭圆曲线加密卡。研究结果表明, 椭圆曲线公钥密码无论在软件实现, 或在低端环境如单片机或智能卡上的实现, 都达到了可以使用的水平。     

极大线性无关组的构造

记Vr（F2）是有限域F2上的r维向量空间,令S是Vr（F2）的含有n个向量的子集合,如果S中任意t个向量在有限域F2上都线性无关,则称S是n元t无关组。称S为极大n元t无关组,是指在所有的n元t无关组中,S的向量个数达到最大值,把这个极大值记为M（r,t）。n元t无关组在密码、纠错码理论以及区组设计等方面有着重要的应用。利用若干线性纠错码的结果,给出了关于M（r,t）的若干下界。     

江水源热泵系统在清远市五星酒店中应用

通过江水源热泵系统在华南地区的应用案例,分析了度假型酒店冷热负荷特性及水源热泵机组能效的修正;介绍了地表水取水方式、水源热泵机组的系统设计及控制方式,并深入对比分析了全年运行能耗。结果表明,本项目江水源热泵系统比传统常规空调系统(冷却塔散热)节能约24.5%,具有较大的能源及减排效益,值得在符合政策法规和技术条件的前提下推荐使用。     

DES的S盒的布尔性质

在密码学的历史上,数据加密标准DES是上个世纪七十年代提出的一个非常重要的对称密码算法,布尔函数的代数免疫度是2003年提出来的抵抗流密码的代数攻击的一个重要指标.S盒是DES中唯一的非线性部分,从布尔函数的观点,研究DES的八个S盒所构造的32布尔函数的代数免疫度和非线性度等密码学性质,这些函数都是六个变量的布尔函数.文中的计算结果表明,所有32个布尔函数的代数免疫度都达到了其理论上的最大值3.     

土壤源热泵地下环路管道施工介绍

1 引言 以利用可再生地热能作为热泵系统地位热源的土壤源热泵系统，被称为21世纪的一项以节能和环保为特征的最具有发展前途的空调技术。本文简单介绍其施工工艺，以期为土壤热泵系统的施工提供借鉴。     

一种签名方案的安全性分析

针对一种基于椭圆曲线的签名方案ECYours的安全性进行分析,指出了如何伪造ECYours的合法签名,并从公钥密码体制设计原理的角度分析了ECYours能轻易遭受攻击的原因,提出了有效的攻击方法.