The research objective is to design and construct a method for functional reliability analysis of concrete gravity dam. Firstly, the pseudo excitation method was utilized to analyze to calculate the probabilistic char...The research objective is to design and construct a method for functional reliability analysis of concrete gravity dam. Firstly, the pseudo excitation method was utilized to analyze to calculate the probabilistic characteristics of concrete gravity dam excited by random seismic loading. Meanwhile, the response surface method based on weighted regression was associated to that method to analyze functional reliability of concrete gravity dam. Eventually, a test example was given to verify and analyze the convergence and stability of this method.展开更多
Cryptographic properties of the single cycle T-function's output sequences are investigated.Bounds of autocorrelation functions of the kth coordinate sequence and bounds of state output sequence are calculated res...Cryptographic properties of the single cycle T-function's output sequences are investigated.Bounds of autocorrelation functions of the kth coordinate sequence and bounds of state output sequence are calculated respectively.The Maximum Sidelobe Ratio(MSR) of the kth coordinate sequence and the MSR of state output sequence are given respectively.The bounds of autocorrelation functions show that the values of autocorrelation functions are large when shifts are small.Comparisons of the autocorrelations between the state output sequence and coordinate output sequence are illustrated.The autocorrelation properties demonstrate that T-functions have cryptographic weaknesses and the illustration result shows coordinate output sequences have better autocorrelation than that of state output sequences.展开更多
RFID(Radio Frequency IDentification)系统射频标签结构简单,且与阅读器间采用无线方式传输数据,易产生隐私泄露和受到安全攻击。针对该问题,文中提出通过双向轻权认证协议来保护RFID系统的安全性和隐私。该协议通过随机化标签的秘密...RFID(Radio Frequency IDentification)系统射频标签结构简单,且与阅读器间采用无线方式传输数据,易产生隐私泄露和受到安全攻击。针对该问题,文中提出通过双向轻权认证协议来保护RFID系统的安全性和隐私。该协议通过随机化标签的秘密信息再哈希的方法生成会话消息,标签与阅读器间采用二次相互认证,提升了协议的安全性。该协议通过哈希运算确保认证过程中会话信息的保密传输和完整性,通过对标签端每次发出会话消息的随机化确保了消息的新鲜性,系统秘密信息的更新确保协议满足前向安全性。RFID认证协议不仅能抵抗窃听、追踪、重放、去同步化等攻击,还能满足RFID系统的安全性和隐私保护需要。展开更多
隐私集合求交(Private Set Intersection,PSI)是安全多方计算领域的重要隐私保护技术,允许双方在不泄露各自数据集的前提下计算出交集。但现有隐私集合求交协议对参与方的计算能力要求较高,在参与方本地算力有限的前提下,对大规模数据...隐私集合求交(Private Set Intersection,PSI)是安全多方计算领域的重要隐私保护技术,允许双方在不泄露各自数据集的前提下计算出交集。但现有隐私集合求交协议对参与方的计算能力要求较高,在参与方本地算力有限的前提下,对大规模数据的处理效率较低。为解决上述问题,基于不经意伪随机函数和同态BFV(Brakerski/Fan-Ver-cauteren)算法构建了云辅助的可验证隐私集合求交协议。该协议在保障参与方数据安全与隐私的同时,可检测并抵抗云服务器的不当行为。在半诚实模型下证明了该协议的安全性,通过与现有协议的实验对比表明,该协议在两方数据量相差较大时效率较高,计算复杂度与通信复杂度均与集合大小呈线性相关,适用于客户端—服务端应用场景。展开更多
微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方...微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方法.RTL(register transfer level)级验证是功能验证的重点,模拟验证是"申威-1号"RTL级验证的主要验证手段.详细介绍了如何综合采用多种验证技术来解决RTL级模拟验证的几个关键问题:高质量测试激励生成、模拟结果正确性的快速判断以及验证覆盖率目标的实现.最后对各种验证方法所取得的验证效果进行了分析.展开更多
提出了一种基于pseudo random function(PRF)和exclusive OR(XOR)运算的组播密钥更新改进算法,全部更新密钥通过PRF计算生成,并且密钥间保持一定的相关性;组播的密钥更新报文通过PRF和XOR共同计算生成,替代了常规的加解密运算.除保证安...提出了一种基于pseudo random function(PRF)和exclusive OR(XOR)运算的组播密钥更新改进算法,全部更新密钥通过PRF计算生成,并且密钥间保持一定的相关性;组播的密钥更新报文通过PRF和XOR共同计算生成,替代了常规的加解密运算.除保证安全性之外,显著降低了通信开销、计算开销和存储开销.Linux下原型验证系统的仿真结果表明,该算法在一定程度上提高了安全组播密钥管理的性能.展开更多
文摘The research objective is to design and construct a method for functional reliability analysis of concrete gravity dam. Firstly, the pseudo excitation method was utilized to analyze to calculate the probabilistic characteristics of concrete gravity dam excited by random seismic loading. Meanwhile, the response surface method based on weighted regression was associated to that method to analyze functional reliability of concrete gravity dam. Eventually, a test example was given to verify and analyze the convergence and stability of this method.
基金supported by National Natural Science Foundation of China under Grant No.60833008,60970119the Scientific Research Foundation of Education of Department of Shaanxi Provincial Government of China under Grant No.11JK0503+1 种基金Youth Science and Technology Foundation of Xi'an University of Architecture and Technology under Grant No.QN0831,QN1024Foundation of Guangxi Key Laboratory of Information and Communications under Grant No.20902
文摘Cryptographic properties of the single cycle T-function's output sequences are investigated.Bounds of autocorrelation functions of the kth coordinate sequence and bounds of state output sequence are calculated respectively.The Maximum Sidelobe Ratio(MSR) of the kth coordinate sequence and the MSR of state output sequence are given respectively.The bounds of autocorrelation functions show that the values of autocorrelation functions are large when shifts are small.Comparisons of the autocorrelations between the state output sequence and coordinate output sequence are illustrated.The autocorrelation properties demonstrate that T-functions have cryptographic weaknesses and the illustration result shows coordinate output sequences have better autocorrelation than that of state output sequences.
文摘RFID(Radio Frequency IDentification)系统射频标签结构简单,且与阅读器间采用无线方式传输数据,易产生隐私泄露和受到安全攻击。针对该问题,文中提出通过双向轻权认证协议来保护RFID系统的安全性和隐私。该协议通过随机化标签的秘密信息再哈希的方法生成会话消息,标签与阅读器间采用二次相互认证,提升了协议的安全性。该协议通过哈希运算确保认证过程中会话信息的保密传输和完整性,通过对标签端每次发出会话消息的随机化确保了消息的新鲜性,系统秘密信息的更新确保协议满足前向安全性。RFID认证协议不仅能抵抗窃听、追踪、重放、去同步化等攻击,还能满足RFID系统的安全性和隐私保护需要。
文摘隐私集合求交(Private Set Intersection,PSI)是安全多方计算领域的重要隐私保护技术,允许双方在不泄露各自数据集的前提下计算出交集。但现有隐私集合求交协议对参与方的计算能力要求较高,在参与方本地算力有限的前提下,对大规模数据的处理效率较低。为解决上述问题,基于不经意伪随机函数和同态BFV(Brakerski/Fan-Ver-cauteren)算法构建了云辅助的可验证隐私集合求交协议。该协议在保障参与方数据安全与隐私的同时,可检测并抵抗云服务器的不当行为。在半诚实模型下证明了该协议的安全性,通过与现有协议的实验对比表明,该协议在两方数据量相差较大时效率较高,计算复杂度与通信复杂度均与集合大小呈线性相关,适用于客户端—服务端应用场景。
文摘微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方法.RTL(register transfer level)级验证是功能验证的重点,模拟验证是"申威-1号"RTL级验证的主要验证手段.详细介绍了如何综合采用多种验证技术来解决RTL级模拟验证的几个关键问题:高质量测试激励生成、模拟结果正确性的快速判断以及验证覆盖率目标的实现.最后对各种验证方法所取得的验证效果进行了分析.
文摘提出了一种基于pseudo random function(PRF)和exclusive OR(XOR)运算的组播密钥更新改进算法,全部更新密钥通过PRF计算生成,并且密钥间保持一定的相关性;组播的密钥更新报文通过PRF和XOR共同计算生成,替代了常规的加解密运算.除保证安全性之外,显著降低了通信开销、计算开销和存储开销.Linux下原型验证系统的仿真结果表明,该算法在一定程度上提高了安全组播密钥管理的性能.
