您的位置: 专家智库 > >

宋云

作品数:11 被引量:11H指数:2
供职机构:陕西师范大学计算机科学学院更多>>
发文基金:国家自然科学基金中国博士后科学基金陕西省自然科学基金更多>>
相关领域:理学文化科学自动化与计算机技术更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 3篇文化科学
  • 3篇理学

主题

  • 3篇数学
  • 2篇量子
  • 2篇秘密共享
  • 2篇可证明安全
  • 2篇教学
  • 2篇高等数学
  • 1篇大学数学
  • 1篇大学数学教学
  • 1篇对称算子
  • 1篇信息化
  • 1篇信息化背景
  • 1篇正交
  • 1篇数学教学
  • 1篇数学课
  • 1篇数学课程
  • 1篇数学素养
  • 1篇数学文化
  • 1篇双线性
  • 1篇双线性DIF...
  • 1篇双线性对

机构

  • 8篇陕西师范大学

作者

  • 8篇宋云
  • 2篇王文华
  • 1篇邵志毅
  • 1篇陈峥立

传媒

  • 1篇数学学报(中...
  • 1篇电子学报
  • 1篇软件学报
  • 1篇信息网络安全
  • 1篇中国校外教育
  • 1篇数学学习与研...
  • 1篇计算机科学与...
  • 1篇西部素质教育

年份

  • 1篇2023
  • 3篇2022
  • 2篇2020
  • 1篇2019
  • 1篇2017
11 条 记 录,以下是 1-8
排序方式:
一般存取结构上抗内存泄露的多级秘密共享被引量:2
2022年
在多级秘密共享方案中,每级存取结构里的授权集中参与者可联合重构对应的秘密.但在实际中,腐化了非授权集的攻击者可通过内存攻击获取部分或全部其余参与者的份额信息,从而非法得到部分甚至是全部的秘密信息.面对这样的内存泄漏,现有的多级秘密共享方案都不再安全.基于此,首先给出了抗内存泄漏的多级秘密共享对选择秘密攻击不可区分的形式化的计算安全模型.然后,利用物理不可克隆函数及模糊提取器的联合作用,基于极小线性码构造了一个适用于一般存取结构的抗内存泄露的可验证多级秘密共享方案.同时,在内存攻击者存在的情况下,证明方案在随机预言模型下是计算安全的.最后,将所提出方案与现有方案在性能和计算复杂度两方面进行了比较分析.
宋云李志慧王文华
关键词:可证明安全
一类图存取结构的最优信息率计算
2022年
秘密共享为密钥管理提供了一个非常有效的途径,而存取结构的信息率为高效秘密共享方案的设计提供了理论保证。文章利用存取结构与连通图之间的关系,将参与者人数为8的一类存取结构转化为连通图中顶点数为8、边数为9且最大顶点度为3的一类共63种图存取结构,并分别通过分裂构造法、熵方法、顶点度定理、分解构造法、加权分解法对这63种图存取结构的最优信息率的准确值或上下界进行计算,得出其中30种图存取结构最优信息率的准确值和其余33种图存取结构最优信息率的上下界。
吕凯欣李志慧黑吉辽宋云
关键词:秘密共享方案
一般存取结构上可公开验证的多级秘密共享
2023年
可公开验证的秘密共享允许任何人仅从公开信息中发现分发者或参与者的欺诈行为。为扩展多秘密共享应用范围,首先提出一个可公开验证的多级秘密共享(PVMSSS)方案模型,而后基于单调张成方案及安全多方计算,构造一般存取结构上可公开验证多用的可更新的多级秘密共享方案。秘密分发阶段,方案中各参与者秘密份额由自己计算,分发者不需向参与者传送任何秘密信息,且每个参与者只需维护一个秘密份额即可实现对多个秘密的重构。利用双线性对的性质,任何人均可验证更新前后秘密份额的正确性及公开信息的有效性,从而有效防止分发者和参与者的欺诈。秘密重构阶段,利用安全多方计算构造伪份额,保证每个参与者的真实份额永远不会暴露,实现了份额的多用性。在秘密的每一次更新中,分发者只需公布更新临时份额的相应公开信息,即可实现对参与者秘密份额的更新。最后对方案的正确性和安全性进行详细分析,在计算Diffie-Hellman和判定双线性Diffie-Hellman问题及假设下,该方案是可证明安全的。
宋云王宁宁肖孟林邵志毅
关键词:双线性对可证明安全
基于GHZ态局域测量的量子秘密共享被引量:4
2019年
提出了一个基于GHZ态局域测量的新颖且高效的量子秘密共享方案.该方案充分利用了GHZ态3个粒子间的相关性,不需要进行任何酉操作或纠缠交换,只通过局域测量,就可在通信者之间建立共享联合密钥.除去用于窃听检测的粒子,其余粒子全部用于消息传输,每个GHZ态可以共享一个比特经典消息,效率达到100%.同时,对于可能存在的攻击方式,文中给出了详细的安全性证明.最后,建立了效率与安全的关系模型,并用MATLAB进行了比较深入的仿真分析.
宋云
关键词:量子秘密共享
信息化背景下高等数学“金课”建设
2020年
为了提高高等数学教学质量,文章首先分析了高等数学“金课”建设思路,然后论述了信息化背景下高等数学“金课”建设路径,包括扩展在线资源、运用多媒体手段、渗透数学文化、优化考核机制。
宋云
关键词:高等数学信息化
基于案例教学思想的高等数学“课程思政”教学探究被引量:3
2022年
课程思政的实质是一种教学理念,不是简单的“课程”加“思政”,其核心在于知识传授与育德育人的有机结合,实施课程思政教学是当前各类高校在教学改革中首当重视的内容.本文结合案例教学的必要性,以“第二重要极限”及“可分离变量”这两个案例教学实践为例,将课程思政元素与高等数学课程相融合,实现知识传授与价值引导、科学素养与人文精神的有机结合,充分发挥教师教书育人的作用,以期对高等数学的教育教学改革有一定的借鉴作用.
宋云裘国勇
关键词:高等数学案例教学
大学数学教学中渗透数学文化的研究被引量:2
2017年
在即将公布的高中数学课标中,数学文化是一个独立的板块,得到了特别的重视,可见数学文化的重要性逐渐被强调。在大学数学教学中融入数学文化教育,不仅能激发学生的学习兴趣,锻炼学生的创新思维,还能有效地促进学生良好道德品质的养成以及非智力因素的发掘。基于数学文化在大学数学教学中的重要性,提出渗透数学文化的策略。同时,强调了应将数学文化与教学实践有机结合,培养当代大学生形成良好的数学素养。
宋云
关键词:大学数学教学数学文化数学素养
PT-对称算子的表示及非正交量子态的区分
2020年
经典量子系统中的哈密尔顿为自伴算子,这不仅保证了系统能量本征值全部为实数,而且相应的本征态(单位长度的特征向量)构成了状态空间的一组正规正交基.然而存在一类PT-对称的物理系统,哈密尔顿的自伴性(共轭转置)被物理的PT-对称性所代替.一个完整的PT-对称哈密尔顿,其谱全部为实数且能构造一个合理的CPT-内积.本文研究一类PT-对称算子.固定时间反演算子T,得到宇称算子P的矩阵表示,进而给出每一组PT-对称哈密尔顿的具体表示形式.作为应用,选择一组确定的{P,T}算子,及PT-对称的哈密尔顿,给出两个在传统量子力学中不正交的量子态区分的刻画.
王文华陈峥立宋云
关键词:内积正交
共1页<1>
聚类工具0