论文部分内容阅读
双重签名是安全电子交易协议的一个重要技术,它将摘要和数字签名结合起来,使得交易中的各方仅得到部分消息即可完成验证从而达成多方协议。论文利用Petri网对双重签名进行建模和形式化描述,并就安全性对此模型进行了分析。
基于Petri网的SET双重签名建模与分析
【摘 要】
：
双重签名是安全电子交易协议的一个重要技术,它将摘要和数字签名结合起来,使得交易中的各方仅得到部分消息即可完成验证从而达成多方协议。论文利用Petri网对双重签名进行建模和形式化描述,并就安全性对此模型进行了分析。
【机 构】
：
上海交通大学网络攻防实验室
【出 处】
：
信息安全与通信保密
【发表日期】
：
2007年11期
其他文献
简述了常减压装置进行的5.0Mt/a设备更新改造内容,并对装置改造后的标定结果进行分析,找出装置改造后存在的问题,并提出改进建议。
The contents of the 5.0Mt / a equipmen
本文在这几年的教学实践的基础上分析了采用传统的授课方法及多媒体阶段授课方法为在校大学生讲授计算机基础课程时的利弊,然后提出了自己的看法,指出在讲授程序设计语言课程
我国煤炭资源丰富,但煤层构造较为复杂,目前大部分生产矿井转向深部开采,面临剥离较薄煤层的问题。采用适合平煤地质条件的综采设备,对较薄煤层进行高效开采,成为可持续发展
华能玉环电厂1 000MW超超临界锅炉是我国首台投入商业运行的百万千瓦级锅炉,该锅炉投入商业运行已过半年,运行状况良好.文章介绍了该锅炉的概况、技术特点、整体布置和热力性
本工程采用无粘结与有粘结预应力相结合的施工技术,解决了大跨度混凝土梁板在受荷较大时的挠度和抗裂问题,同时亦降低了层高,减少了结构空间,缩短总工期,本工程已通过竣工验
为了缓解我国局部地区的水资源短缺,长距离输水工程越来越多,占整个管道施工将近一半适价的管材也越来越受到重视.本文介绍了在现阶段工程中应用较多的管材以及有很大应用前
阻断糖尿病大鼠肾素-血管紧张素系统,可通过下调内脏脂肪组织还原型辅酶Ⅱ氧化酶和诱导型一氧化氮合酶的表达,减少内脏脂肪的氧化应激,改善糖脂代谢和胰岛素抵抗.
通过对传统的启动方式与软启动方式的比较,阐明了采用软启动器的优点,证明了软启动器在交流电机电力拖动系统中起到改善电机启动特性曲线和停止特性曲线的作用,且具有十分广