论文部分内容阅读
spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围。
spi演算证明协议非可否认性
【摘 要】
：
spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围。
【机 构】
：
合肥工业大学计算机与信息学院,安徽建筑工业学院数理系
【出 处】
：
通信学报
【发表日期】
：
2009年05期
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
将双层式静电场描绘仪改为单层式静电场描绘仪．电极从面接触改为线接触。
针对属性为关键重要型的多属性决策问题,利用消错理论提出一种新型的决策方法.首先,依据消错理论给出错误、错误极限损失值、关键重要型属性等概念;接着,根据多属性决策问题
本文介绍一种自制的数字式检流计。仪器具有精度高、性能稳、调节方便、造价低、不易损坏等特点。
能源是一个国家的命脉，是国民经济和社会发展的重要物质基础，它涉及到了经济、资源、民生、外交等诸多领域．如果能源出现短缺将会成为制约国民经济持续发展的重要因素．由此，推动能
党的十八届三中全会以来,随着深化干部人事制度改革工作的不断推进,要求党政领导干部选拔任用制度更加科学规范,着力于培养和造就信念坚定、为民服务、勤政务实、敢于担当、
在簇结构超宽带无线传感器网络中,为了在可接受的实现成本范围内解决节能与功率控制问题,提出了一种传输功率优化选择算法,同时满足了预设的数据传输速度和最大限度的节能要求。然后详细地分析了该算法实现的可行性、复杂度和实现成本。仿真结果表明,本算法得出的最优传输功率大大小于传感器节点可获取的最大功率,并可以根据网络背景噪声和最大传输速度的变化而动态调整;该算法可以较为显著地延长传感器节点寿命;另外,仿真结
普通高校＂专升本＂教育是普通高等教育的重要组成部分,普通＂专升本＂人才培养的质量关系到高校的办学效益和声誉。以福建省普通＂专升本＂招生考试情况为例,针对普通＂专升本＂人才培养存在
目的： 研究2型糖尿病（T2DM）患者腹内脂肪含量与胰岛素信号转导、脂代谢特征、脂肪细胞因子分泌的相关性。 方法： 选择2015年3月~2018年2月在我院首次诊断为T2DM的患者作为T2DM组，
[目的]研究葛根素对双氧水(H2O2)诱导小神经胶质BV-2细胞氧化应激损伤的保护作用,探讨其可能的作用机制。[方法]体外常规培养BV-2细胞,用H2O2诱导细胞氧化应激损伤模型,并同