二元序列的广义导数

以两种不同的方式对献[1]中的二元序列的导数进行了推广，定义了两类不同的二元序列的广义导数，并且进一步讨论了周期为2^N和2^N-1的二元序列的广义导数的性质，推广了献[1]的结果．     

一种在/离线用户透明的电子现金方案

利用双线性对上的限制性部分盲签名构造一种在/离线用户透明的电子现金方案,方案根据用户的信誉值决定采用在线支付还是离线支付,支付方式的选择对支付用户是透明的.     

用棉油酸甲酯合成聚酰胺树脂的研究

本文研究了由棉籽油经甲醇解得到棉油酸甲酯,继而进行二聚,再与乙二胺缩聚合成聚酰胺树脂的方法.     

一种(n+s,m,t+s)-Resilient函数的构造

首次给出一个从2s个已知的(n,m,t)-resilient函数构造(n s,m,t s)-resilient函数的充分必要条件.它不仅提供了一种构造二元向量输出Resilient函数的方法,而且Resiliency的阶数和Vn的维数是同步增加的,以及Resiliency的阶数的增加速度比已知的构造方法更快.进一步讨论了利用此方法构造的(n s)个输入,m个输出函数的非线性度和传播特征以及在特殊情况下计算它们的代数次数,得了一些有应用价值的结果.最后给出一个例子来说明此种构造方法.     

二元向量输出的Partially Bent函数

把关于布尔函数的Carlet不等式推广到向量输出的布尔函数并且引入了向量输出的Partially Bent函数的概念,即广义Carlet不等式中等式成立的向量输出布尔函数.给出了一些广义Carlet不等式中等式成立的充分必要条件.进一步讨论了二元向量输出的partially bent函数的密码学性质.     

双液系气液平衡相图实验的改进

本文设计制做了一种新的实验装置,克服了现行双液系气液平衡实验费时长,操作繁琐的不足,改进了操作方法,使用结果表明,可缩短实验时间,操作简便,结果也十分可靠。     

一种分析电子现金协议的工具

引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与者以及敌手的能力,明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂协议进行形式化分析.     

吸附尿素的多孑L硅结构电性质研究

电阻率为15-20 Ωcm n型单晶硅在氢氟酸-乙醇溶液中通过光电化学阳极氧化刻蚀后,再经过光氧化处理得到稳定化的多孔硅(porous silicon,PS).在PS结构基础上通过真空蒸镀金属铝(Al)层形成Al/PS/Si/Al纵向结构和Ps两端镀铝的Al-Ps-Al横向结构.利用多孔硅高比表面积对不同浓度尿素进行吸附后,得到Al/Ps-urea/si/Al or Al-PS-urea-Al结构.研究了上述两种结构的电流电压的半对数关系,结果表明lg I～V,曲线与被吸附尿素的含量呈递减关系,浸泡PS的尿素溶液浓度在1μg·ml-1～1 mg·ml-1范围内呈线性递减关系.基于这两种结构的多孔硅器件有望实现对尿素的传感.     

关于多输出布尔函数的非线性度

多输出布尔函数的非线性度首先在文献[1]中被引进,本文称之为多输出布尔函数的第一类非线性度。本文定义了一种与之不同的多输出布尔函数的第二类非线性度,讨论了两者之间的关系,指出了它们的密码学意义,并且进一步讨论了两类多输出布尔函数的第二类非线性度。     

基于DDH假设和d-线性假设的平滑投影散列

Two new constructions of smooth projective hashing are presented over the languages defined by CCA2 secure public-key encryption schemes based on lossy trapdoor functions. One lossy trapdoorfunction is based on DDH assumption and the other is based on d -linear assumption.