论文部分内容阅读
在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法.该方法在消息事件结构中引入会话标识符,给出协议满足秘密性的充要条件,大大简化了协议秘密性的证明,高效且适合机械化实现.
密码协议的秘密性证明
【摘 要】
：
在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法.该方法在消息事件结构中引入会话标识符,给出协议满足秘密性的充要条件,大大简化了协议秘密性的证明,高效
【机 构】
：
中国科学院研究生院信息安全国家重点实验室,海军潜艇学院,海军计算技术研究所
【出 处】
：
计算机学报
【发表日期】
：
2003年3期
其他文献
新近建设的330千伏超高压延榆送变电工程,像一条身驾祥云的巨龙。高翔在陕北丛峁深壑和莽莽沙漠的上空,鸟瞰着这块沉睡了千年的贫瘠土地,叩响了曾为中国革命作出过巨大贡献的
被誉为全国优秀企业家、某市“十大杰出青年”之一的某化工厂厂长张蒙奇,前不久在家中被一个开除公职的工人炸死。公安人员在勘察现场时,发现14捆现金,283瓶茅台和五粮液名酒
张可以是以敢于“唱黑脸”的角色在子长电厂闻名的。 1981年,这位在西安电力学校热能动力系攻读三年的陕北后生,毕业时做出了一个让全班同学目瞪口呆的选择,不留省城、不去关
通过融入方向信息修改了仅基于梯度幅值的蛇模型定义, 从而产生了新的动态轮廓线模型.新模型可以明显地削弱虚假强边缘的影响; 基于动态规划方法, 给出了基于小波分解的多分
企业精神的塑造,在于将每个成员的奋斗目标统一到企业共同的奋斗目标上来,形成一股合力,使企业成员有一种共同目标的认同感和强烈的群体意识,激发他们齐心协力为企业目标的实
汽车工业的迅猛发展以及配套零部件行业的激烈竞争，使得国内的零部件产业园也开始了投资产业结构的调整。在各地零部件工业园进一步寻求更大发展之际，MC记者于2007年8月30～31日，
提出了一种新的正交频分多路(OFDM)传输系统定时和载波频率捕获联合算法.该算法仅需要一个训练符号,既用于定时恢复,也用于载波频率捕获,额外开销量小,因此,提出的算法适合于
提出了一种稳健的数字签名方案用于图像内容鉴别.通过对图像的预处理,从图像行与列中提取出对JPEG压缩稳健的原始信息序列,然后利用Hash函数对原始信息序列进行加密并提取签
针对Internet多媒体群组通信中同时存在的带宽异构性和包丢失率异构性,文中将分层组播和接收者驱动的思想扩展到FEC差错控制中,提出一种分层FEC组播差错控制方法LM-FEC.LM-FE