MIBS算法是由Izadi等人在CANS 2009上提出的一个轻量级分组密码算法,整体采用Feistel结构,轮函数使用SP结构,分组长度为64 b,包含MIBS-64和MIBS-80这2个版本,适用于资源受限的环境,例如RFID(radio frequency identification)标签.研究M...MIBS算法是由Izadi等人在CANS 2009上提出的一个轻量级分组密码算法,整体采用Feistel结构,轮函数使用SP结构,分组长度为64 b,包含MIBS-64和MIBS-80这2个版本,适用于资源受限的环境,例如RFID(radio frequency identification)标签.研究MIBS算法针对积分攻击的安全性.首先,针对该算法的密钥编排算法,利用密钥搭桥技术,分别得到了MIBS-64和MIBS-80的轮密钥的相关性质.其次,利用基于MILP(mixed integer linear programming)的比特可分性的自动化建模搜索方法,构造了MIBS的8轮和9轮积分区分器.然后,基于8轮积分区分器,给出了12轮MIBS-64的密钥恢复攻击,数据复杂度为2^(60),时间复杂度为2^(63.42);最后,基于9轮积分区分器,给出了14轮MIBS-64的密钥恢复攻击,数据复杂度为2^(63),时间复杂度为2^(66).这是目前对MIBS-64和MIBS-80轮数最长的积分攻击.展开更多
研究AANA(asymptotically almost negatively associated)序列部分和的一类Prokhorov型完全收敛性.利用经典的截尾方法,以及关于AANA序列极大部分和的Rosenthal型矩不等式,获得了AANA序列部分和完全收敛性的较为广泛的充分性条件.作为推...研究AANA(asymptotically almost negatively associated)序列部分和的一类Prokhorov型完全收敛性.利用经典的截尾方法,以及关于AANA序列极大部分和的Rosenthal型矩不等式,获得了AANA序列部分和完全收敛性的较为广泛的充分性条件.作为推论,得到一个类似于独立同分布情形下的完全收敛性结果.展开更多
设{εt;t∈Z+}是一严平稳零均值的LPQD随机变量序列,并且0<Eε12<∞,σ2=Eε12+2sum from j=2 to ∞ (Eε1εj),0<σ2<∞,{aj;j∈N}是一实数序列,满足sum from j=0 to ∞ |aj|<∞.定义线性过程Xt=sum from j=0 to ∞ (a...设{εt;t∈Z+}是一严平稳零均值的LPQD随机变量序列,并且0<Eε12<∞,σ2=Eε12+2sum from j=2 to ∞ (Eε1εj),0<σ2<∞,{aj;j∈N}是一实数序列,满足sum from j=0 to ∞ |aj|<∞.定义线性过程Xt=sum from j=0 to ∞ (ajεt-j),t≥1,并令Sn=sum from t=1 to n Xt,Mn=max|Sk|,k≤n n≥1.利用弱收敛定理和矩不等式,对一般的拟权函数和边界函数,证明了{Mn}和{Sn}的精确渐近性.展开更多
文摘MIBS算法是由Izadi等人在CANS 2009上提出的一个轻量级分组密码算法,整体采用Feistel结构,轮函数使用SP结构,分组长度为64 b,包含MIBS-64和MIBS-80这2个版本,适用于资源受限的环境,例如RFID(radio frequency identification)标签.研究MIBS算法针对积分攻击的安全性.首先,针对该算法的密钥编排算法,利用密钥搭桥技术,分别得到了MIBS-64和MIBS-80的轮密钥的相关性质.其次,利用基于MILP(mixed integer linear programming)的比特可分性的自动化建模搜索方法,构造了MIBS的8轮和9轮积分区分器.然后,基于8轮积分区分器,给出了12轮MIBS-64的密钥恢复攻击,数据复杂度为2^(60),时间复杂度为2^(63.42);最后,基于9轮积分区分器,给出了14轮MIBS-64的密钥恢复攻击,数据复杂度为2^(63),时间复杂度为2^(66).这是目前对MIBS-64和MIBS-80轮数最长的积分攻击.
文摘研究AANA(asymptotically almost negatively associated)序列部分和的一类Prokhorov型完全收敛性.利用经典的截尾方法,以及关于AANA序列极大部分和的Rosenthal型矩不等式,获得了AANA序列部分和完全收敛性的较为广泛的充分性条件.作为推论,得到一个类似于独立同分布情形下的完全收敛性结果.
文摘设{εt;t∈Z+}是一严平稳零均值的LPQD随机变量序列,并且0<Eε12<∞,σ2=Eε12+2sum from j=2 to ∞ (Eε1εj),0<σ2<∞,{aj;j∈N}是一实数序列,满足sum from j=0 to ∞ |aj|<∞.定义线性过程Xt=sum from j=0 to ∞ (ajεt-j),t≥1,并令Sn=sum from t=1 to n Xt,Mn=max|Sk|,k≤n n≥1.利用弱收敛定理和矩不等式,对一般的拟权函数和边界函数,证明了{Mn}和{Sn}的精确渐近性.
