主动攻击下数字签名的计算可靠性
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中
高可靠性技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中
PIC单片机在抗干扰、安全可靠性方面采取了许多措施.分析了PIC单片机应用系统中充分发挥其自身抗干扰作用的措施,通过编程序时增加必要的指令或程序可以投资少、见效快地提高系统可靠性.
在分析提高单片机测控系统可靠性的重要性以及系统干扰主要来源的基础上,从硬件和软件两个方面对提高单片机测控系统的可靠性提出了一些简单、有效、实用和易于实现的一般方法,并重点讨论了程序运行出轨的问题和自动恢复的方法。
当前,太阳能光伏市场(包括光伏模块和逆变器)正以每年约30%的年累积速 度增长。太阳能逆变器的作用是将随太阳能辐射及光照变化的DC 电压转换成为 电网兼容的AC 输出;而对于广大电子工程师而言,太阳能逆变器是一个值得高 度关注的技术领...
单粒子翻转是指数字电路的存储单元中的某一位因受到干扰而发生翻转,从而引起存储内容的变化,它是目前导致处理器运行失效的主要原因。虽然SEU不破坏任何半导体器件,但是它将导致所存储的数据出错或指令的执行错误,甚至引起系统的崩溃。随着数字电路的集...
测量精度和可靠性是仪器的重要指标,引入数据处理算法后,使许多原来靠硬件电路难以实现的信号处理问题得以解决,从而克服和弥补了包括传感器在内的各个测量环节中硬件本身的缺陷或弱点,提高了仪器的综合性能