陕西省自然科学基金(2006F19)
- 作品数：7 被引量：50H指数：2
- 相关作者：肖国镇汪小芬董庆宽刘彦明李小平更多>>
- 相关机构：西安电子科技大学电子科技大学兰州大学更多>>
- 发文基金：陕西省自然科学基金国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 布尔函数的代数厚度被引量：2
- 2009年
- 基于布尔函数的代数次数和代数厚度,给出了布尔函数和其分解函数的代数厚度的关系,利用递归和反证法导出了n元布尔函数代数厚度的上界是2**(n-1),这个上界回答了"是否存在代数厚度大于2**(n-1)的n元布尔函数"这个公开问题.在此基础上改进了n元k(2≤k≤(n-1)/2)次基本对称布尔函数的代数厚度的上界,同时也得到了布尔函数的代数厚度的一些性质.
- 周宇汪小芬罗彦锋肖国镇
- 关键词：布尔函数
- 对单向函数中的窄带阈下信道容量的一点注记被引量：1
- 2009年
- 为有效评估窄带阈下信道传递阈下信息的能力,对建立在密码学单向函数中的窄带阈下信道的容量进行了研究。分析了Kobara和Imai基于信息论观点给出的该类窄带阈下信道实际可达信道容量的定义,指出这种容量的定义方式没有考虑单次通信时的误码率问题,而这对阈下通信环境非常重要。针对基于信息论的容量定义的不足,给出了基于误码率来计算信道容量的方法,具有更好的实用性。
- 董庆宽李小平刘彦明
- 关键词：密码学误码率单向函数
- 具有线性结构的弹性函数非线性度的新上界
- 2009年
- 讨论了具有线性结构的弹性函数的两个指标:沃什谱和非线性度,得到了具有线性结构的布尔函数的一些性质。利用沃尔什变换和汉明重量的方法,发现了:如果V是n元布尔函数f(x)的线性结构,那么得到f(x)的沃尔什变换在Fn2\V⊥或V⊥为零这一事实,同时得到了一个布尔函数没有k(k≥0)维线性结构的充分条件。最后,利用以上结果推出了具有线性结构的弹性函数的非线性度的上界表达式。
- 周宇肖国镇
- 关键词：布尔函数弹性函数非线性度
- 动态对等群上的基于身份的认证密钥协商协议
- 2008年
- 针对DB08协议(Dutta和Barua的动态群密钥协商协议)不满足密钥独立性的缺陷,利用SK(Sakai和Kasahara)的密钥构造方法,提出了一个动态对等群上的基于身份的认证密钥协商协议.在新协议中计算子密钥时,利用Hash运算和增加会话标识,来避免不同会话中子密钥的关联性,因此新协议满足密钥独立性.同时新协议满足完善的前向安全性、主密钥前向安全性,以及抗主动和被动攻击等安全性.与DB08协议相比较,新协议大大降低了计算开销和通信开销,因此更适用于动态的对等网络.
- 汪小芬谭示崇董庆宽肖国镇
- 关键词：认证密钥协商对等网络
- 基于身份的认证密钥协商协议的安全分析与改进被引量：27
- 2008年
- 对基于身份的标准模型下可证明安全的认证密钥协商协议进行安全性分析,发现恶意的密钥生成中心(PKG,private key generator)能计算出所有的会话密钥,即它在无会话密钥托管模式下不满足PKG前向安全性。因此,为满足无托管的要求,提出一个改进的基于身份的认证密钥协商协议,并在标准模型下证明其为安全的认证密钥协商协议。结果表明,改进后协议满足完善前向安全性和PKG前向安全性。
- 汪小芬陈原肖国镇
- S-盒的保熵性研究
- 2009年
- 本文讨论S-盒保熵性,提出组合函数和S-盒的条件熵、保熵性定义,并利用条件熵给出一种判定组合函数、S-盒满足k阶相关免疫的充要条件和理想保熵的条件,给出了具有理想保熵性组合函数和S-盒的一般代数表达式及其安全缺陷.最后,利用熵与Walsh谱的内在联系,提出组合函数和S-盒满足实际保熵的安全条件,以指导实际应用中组合函数及S-盒的应用设计.
- 刘福运肖鸿肖国镇
- 关键词：组合函数S-盒相关免疫
- BLP模型的完整性增强研究被引量：20
- 2010年
- 在BLP模型的基础上,提出了BLP模型的一个完整性增强模型——EIBLP模型。该模型在不改变BLP模型信息流方向(下读上写)的基础上对上行信息流增加了必要的限制,并对BLP模型安全公理、主客体访问控制标签、访问控制操作模式以及状态转移规则进行了改进,且对该模型的安全性进行了分析并给出了证明。结果表明,改进后的EIBLP模型不仅仍然满足BLP模型的基本安全特性,而且通过改进BLP模型信息上行约束条件、主客体的安全标签、扩展模型操作模式、完善模型状态转移规则等方法,有效提高了BLP模型的完整性,并在一定程度上提高了机密性。
- 刘彦明董庆宽李小平
- 关键词：信息安全BLP模型完整性
