广义Smooth格 被引量：1

1

作者 姚丽娟 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2009年第1期92-96,共5页

作为由Weng所引入的smooth格和Scott紧生成格的推广,引入了广义smooth格和广义smooth代数格,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是广义smooth格和广义连续格。

关键词 smooth格 广义smooth格 广义smooth代数格 smooth同态

下载PDF 职称材料

Smooth格和强Smooth格 被引量：1

2

作者 姚丽娟 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2009年第2期41-45,共5页

引入了强smooth格的概念,讨论了smooth格与强smooth格的一些基本性质,证明了强smooth格可用保任意交和Scott闭集之并的映射嵌入到某方体[0,1]X之中。

关键词 smooth格 强smooth格 smooth同态 嵌入

下载PDF 职称材料

格上两方一轮身份认证协议

3

作者 王雄 吕晓晗 王文博 《北京电子科技学院学报》 2024年第1期1-11,共11页

在量子技术对传统密码冲击下,格上的口令认证密钥交换PAKE协议研究成为关注的热点。但是,当前格上PAKE协议大多通过两轮或三轮完成,且存在传输负载过重现象。而目前格上一轮协议多适用于一对一通信且不具有身份认证功能。针对以上问题... 在量子技术对传统密码冲击下,格上的口令认证密钥交换PAKE协议研究成为关注的热点。但是,当前格上PAKE协议大多通过两轮或三轮完成,且存在传输负载过重现象。而目前格上一轮协议多适用于一对一通信且不具有身份认证功能。针对以上问题提出的基于密钥共识的格上一轮身份认证协议,通过结合格上公钥加密、ASPH函数和密钥共识,实现了高效、安全的一轮通信中的身份认证与密钥协商。这一解决方案有望改善传统PAKE协议的问题,对于应对量子技术对密码学的挑战提供了一种思路。 展开更多

关键词 密钥共识 格密码 ASPH(Approximate smooth Projective Hash) 身份认证

下载PDF 职称材料

半Smooth格 被引量：11

4

作者 徐菲 徐晓泉 《江西师范大学学报（自然科学版）》 CAS 北大核心 2008年第1期22-25,共4页

该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格.

关键词 半Scott闭集 半smooth格 半smooth代数格 半连续格

下载PDF 职称材料

不锈钢微米级球冠形表面的润湿性能 被引量：7

5

作者 尚广瑞 杨晓东 +1 位作者 丛茜 任露泉 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2006年第5期719-722,共4页

分析了不锈钢(1Cr18N i9Ti)微米级球冠形表面点阵的高度和行间距等因素对润湿性能的影响。试验结果表明:材料表面的微米级球冠形点阵增加了水滴与表面的实际接触面积,导致材料表面与水的实际接触角下降,最大下降幅度达28.5%,增加了材料... 分析了不锈钢(1Cr18N i9Ti)微米级球冠形表面点阵的高度和行间距等因素对润湿性能的影响。试验结果表明:材料表面的微米级球冠形点阵增加了水滴与表面的实际接触面积,导致材料表面与水的实际接触角下降,最大下降幅度达28.5%,增加了材料表面的亲水性能。 展开更多

关键词 工程仿生学 材料表面特性 非光滑点阵 不锈钢 润湿性能

下载PDF 职称材料

广义半Smooth格

6

作者 陶炎芳 张晓媛 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2012年第3期164-168,共5页

引入了广义半Smooth格和广义半Smooth代数格的概念,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是拟连续的广义半Smooth格。

关键词 半smooth格 广义半smooth格 广义半smooth代数格 半smooth同态

原文传递

ZC-连续格 被引量：1

7

作者 刘一南 杨金波 晏莹 《模糊系统与数学》 CSCD 北大核心 2014年第1期65-71,共7页

对于广义理想子集系统Z,引入ZC-连续格和ZC-代数格的概念,讨论它们的一些性质。特别地,证明当ZC-连续格P中的关系Z满足插入性质时,P可嵌入到方体中。

关键词 ZC-连续格 ZC-代数格 C-连续格 半smooth格

原文传递

格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议 被引量：4

8

作者 尹安琪 曲彤洲 +3 位作者 郭渊博 汪定 陈琳 李勇飞 《电子学报》 EI CAS CSCD 北大核心 2022年第5期1140-1149,共10页

降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基... 降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基于格的SPHF多不能在超多项式模数下应用.为此,本文提出了两种格上基于密文标准语言的SPHFs,在不增加通信开销和存储开销的前提下解决了上述问题.基于上述SPHFs,本文提出了一种基于格的可证明安全的两轮PAKE协议,该协议可以抵抗量子攻击,在不需要零知识证明和随机预言机的前提下,降低了协议通信轮次和安全性假设;本文还基于更加准确的标准安全模型对所提出的协议进行了严格的安全性证明.实验证明,本文提出的协议具有更优的通信轮次复杂度、计算开销、安全性假设和实际安全性. 展开更多

关键词 口令 密钥交换 平滑投射哈希函数 可证明安全 格 抗量子

下载PDF 职称材料

基于格子Boltzmann方法的粘弹性流体圆柱绕流分析

9

作者 李勇 李汉清 何录武 《计算力学学报》 CAS CSCD 北大核心 2023年第2期223-228,共6页

将光滑界面法引入到格子Boltzmann方法中分析粘弹性流体绕流问题,分别采用单松弛模型和对流扩散模型求解运动方程和Oldroyd-B本构方程,针对圆形和椭圆内部边界条件,给出连续界面插值函数,在此基础上,运用光滑界面法将内部边界转换为作... 将光滑界面法引入到格子Boltzmann方法中分析粘弹性流体绕流问题,分别采用单松弛模型和对流扩散模型求解运动方程和Oldroyd-B本构方程,针对圆形和椭圆内部边界条件,给出连续界面插值函数,在此基础上,运用光滑界面法将内部边界转换为作用力项施加到演化方程中。首先分析圆柱绕流问题,给出不同材料参数情况下的流场分布和阻力系数计算结果,比较发现与宏观数值模拟结果相吻合。将模型拓展到绕椭圆流动中,分析椭圆形状和材料参数对粘弹性流体绕柱流的影响,发现随着椭圆长轴与短轴比值的增加和维森伯格数的增加,阻力系数逐渐下降,并且长短轴比对迭代收敛有较大影响。 展开更多

关键词 光滑界面法 粘弹性流体 格子玻尔兹曼方法 阻力系数

下载PDF 职称材料

光滑壁面明渠水流的三维格子玻耳兹曼模拟 被引量：1

10

作者 丁磊 张庆河 《天津大学学报》 EI CAS CSCD 北大核心 2011年第2期120-125,共6页

明渠水流与泥沙运动、河床演变等问题密切相关,明渠水流特征的研究对于揭示明渠水流作用下的泥沙运动机理具有十分重要的意义.为此,应用新型数值模拟方法三维格子玻耳兹曼方法对明渠均匀流进行了研究.首先介绍了格子玻耳兹曼方法的理论... 明渠水流与泥沙运动、河床演变等问题密切相关,明渠水流特征的研究对于揭示明渠水流作用下的泥沙运动机理具有十分重要的意义.为此,应用新型数值模拟方法三维格子玻耳兹曼方法对明渠均匀流进行了研究.首先介绍了格子玻耳兹曼方法的理论基础、边界条件处理以及流动的驱动方式,接着分别模拟了明渠层流和光滑壁面紊流的近底水流运动.结果表明,得到的明渠层流流速和切应力分布与解析解吻合较好,同时较好地反映了光滑壁面明渠紊流的流速分区结构、紊动特性和阻力规律,从而说明格子玻耳兹曼方法在明渠水流模拟中具有较好的适用性,为进一步采用该方法研究明渠流近底泥沙颗粒运动机理奠定了基础. 展开更多

关键词 明渠层流 明渠光滑紊流 时均流速分布 切应力分布 格子玻耳兹曼方法

下载PDF 职称材料

基于格的口令散列方案

11

作者 李增鹏 汪定 《中国科学：信息科学》 CSCD 北大核心 2021年第8期1375-1390,共16页

在可预见的未来,口令仍将是最主要的身份认证方法.口令认证密钥交换协议(password authenticated key exchange, PAKE)是口令认证的重要组成部分,它允许通信双方在不安全的通话信道上建立一个安全的会话密钥.为了缓解服务器被入侵后对... 在可预见的未来,口令仍将是最主要的身份认证方法.口令认证密钥交换协议(password authenticated key exchange, PAKE)是口令认证的重要组成部分,它允许通信双方在不安全的通话信道上建立一个安全的会话密钥.为了缓解服务器被入侵后对存储在服务器上口令的影响,将口令散列之后再存储被广泛推荐,例如使用传统的口令散列函数,如PBKDF2, Bcrypt,和Scrypt.然而,这些口令散列函数依赖复杂的数学问题,安全性证明建立在随机预言机模型(random oracle model,ROM)之上,且需要较大内存支持.为解决上述问题,基于离散对数假设的口令散列方案陆续被提出,如Benhamouda-Pointceva方案(IACR ePrint2013/833)、Kiefer-Manulis方案(ESORICS’14)、Pointcheval-Wang方案(ASIACCS’17)与平滑投影散列函数(smooth projective hash function, SPHF)集成,但这些方案无法实现后量子安全且仍依赖于ROM模型.因此,本文着重研究如何在标准模型下设计后量子安全的口令散列方案,并给出可证明安全性分析.尽管所提方案尚不能应用于实际,但为构造实际的后量子安全的口令认证及密钥交换协议奠定了基础. 展开更多

关键词 抗量子 口令认证密钥交换 口令散列方案 平滑投影散列函数 基于格的密码学

原文传递