张习勇
- 作品数：35 被引量：41H指数：3
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家自然科学基金河南省基础与前沿技术研究计划项目河南省科技攻关计划更多>>
- 相关领域：电子电信理学自动化与计算机技术文化科学更多>>
- 基于模型检测的多轮FR协议验证被引量：1
- 2008年
- 随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
- 郭华庄雷张习勇李舟军
- 关键词：电子商务协议时间自动机UPPAAL
- 高维4阶完全正则Hadamard矩阵的构造和计数
- 1999年
- 本文借助于一种特殊的逻辑函数———Ｈ４函数，并利用它和概率工具，给出了一类高维４阶完全正则Ｈａｄａｍａｒｄ矩阵的形式和计数。
- 张习勇曾本胜
- 关键词：完全正则HADAMARD矩阵
- 几类低差分一致性函数
- 2016年
- 几乎完全非线性(APN)函数被提出以来,构造新的APN函数一直是热点问题。通过CCZ等价变换,构造了3类与单项式APN函数EA不等价的APN函数,证明了一类双线性置换函数为低差分一致性函数。
- 李乃江张习勇鲁志波
- 广义最佳二进阵列的存在性
- 2006年
- 利用群环、特征和等代数方法,证明了对于任意的n及奇素数p≠1(mod 8),不存在任何类型的体积为2×2×pn的广义最佳二进阵列,并给出了体积为2×2×2n的广义最佳二进阵列存在的充要条件.所用方法适用于一般最佳信号的存在性研究.
- 张习勇郭华韩文报
- 关键词：群环高斯和
- 一种计算旋转对称布尔函数的汉明重量和非线性度的新方法
- 2015年
- 旋转对称布尔函数是一类重要的密码学函数,研究其重量和非线性度等密码学性质具有很好的理论价值。区别于已有的计算方法,该文利用特定的正规基把这些布尔函数的问题转化为有限域上的指数和问题,得到了4?n和2sn=时一些二次旋转对称布尔函数的重量和非线性度的新结果。使用所提的方法,可以计算几乎全部的二次旋转对称布尔函数的重量和非线性度。所提的新方法对于研究一般的旋转对称布尔函数具有一定的参考意义。
- 张习勇祁应红高光普李玉娟
- 关键词：密码学旋转对称布尔函数非线性度
- 高等数学中空间曲线的切线问题分析被引量：1
- 2011年
- 在高等数学中求空间曲线在某点处的切线时,关键是求曲线在该点处的切向量。如果空间曲线是用一般方程给出,通常利用方程组所确定的隐函数的求导法则,借助Crammer法则求出切向量,但这种方法在求解某些实际问题时可能失效。本文针对一个具体问题说明遇到上述情况时应该如何处理,提出了解决问题的思想方法——将空间曲线的切向量、空间曲面切平面、法向量联系起来,并将这种方法一般化,给出了空间曲线用一般方程给出时求切线的新的思路和方法。相比较而言,文中所给出的方法计算简便,更容易为学生所理解和接受。
- 縢吉红黄晓英张习勇
- 关键词：切向量隐函数法向量行列式
- 2次单轨道旋转对称布尔函数的重量分布
- 2012年
- 旋转对称布尔函数在现代密码学中有重要的应用价值。给出了关于任意2次单轨道旋转对称布尔函数快速求值的算法,并得到了其重量的递归关系。结论提高了对2次单轨道旋转对称布尔函数求值的速度,有助于研究一般旋转对称布尔函数的重量和非线性度。
- 王斌张习勇
- 关键词：旋转对称布尔函数递归关系
- 一类组合集的存在性研究被引量：1
- 2003年
- 组合集是 90年代由J.Davis和J.Jedwab提出的一个重要概念 ,它在差集的构造中有着重要的应用 .讨论只有两个生成元的p 群上的相对于p阶子群的组合集的存在性 ,证明了在群Zpc+ 1×Zpb(p为奇素数 )中存在相对于p阶子群的参数为 (pb +c,p(b +c+d) /2 ,pd) (d >0 )的组合集当且仅当d =1,b =c +1.特别地 ,确定了Zp×Zp 中 (p ,p ,p)组合集的结构 .
- 张习勇韩文报
- 关键词：存在性P-群有限群
- 一些新的APN函数的构造被引量：1
- 2010年
- 几乎完全非线性函数(almost perfect nonlinear)在密码学和通信领域中具有一定的应用价值。文章构造了几个形式为F(x)+f(x)(F(x)是APN函数或PN函数)的APN(或PN)函数和几个与Gold函数EA不等价的APN函数。
- 郭腓望张习勇韩文报
- 拟Bent函数的性质和构造被引量：4
- 2004年
- 本文将基本2-群中拟Bent函数的概念推广到一般的有限Abel群中,统一了目前几乎所有的Bent函数概念,完全刻画了一类拟Bent函数和Bent函数的本质联系,给出了几种拟Bent函数的构造方法,拟Bent函数和相对差集的一种关系以及一种用拟Bent函数构造Bent函数的方法.最后,利用Galois环和组合集,找到一类拟Bent函数.
- 张习勇韩文报
- 关键词：BENT函数拟BENT函数GALOIS环
