主动攻击下数字签名的计算可靠性
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中
振动冲击技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中
针对某飞机上典型的复合材料弯管结构的振动,采用压电元件作为传感器和作动器,通过有限元分析其振动模态以确定压电元件的施加位置,进一步利用自适应前馈控制策略,对其振动进行了主动控制,最终取得了有效
以国产拖式振动压路机为基础,对其进行改造设计,增加测控装置,实现中心频率自动可调的激振功能.介绍了总体设计原则和方案,对测控系统的硬、软件作了系统论述,并给出了部分设计框图.该系统经试验达到设计要求.
资料->【B】电子技术->【B3】传感测量->【2】遥控遥感->【红外感应】->Microchip红外感应式自动冲水器.mht
基于流体动力学原理,研究柔性立管在风浪流作用下的涡激振动发展过程。通过4米长的模型试验,揭示间歇性涡激振动的物理机制与运动特性,为海洋工程结构设计提供关键数据支持。
Bulletin of the American Mathematical Society Volume 49 issue 1 1943 [doi 10.1090_s0002-9904-1943-07818-4] Courant, R. -...