论文部分内容阅读
对密码协议模型进行了分析,引入时廷Petri网分析工具,建立了一种新的安全电子交易协议的形式描述工具.利用该分析工具对安全电子交易协议中的支付部分进行了形式描述,并分析了它的安全等问题.
基于Petri网的安全电子交易协议描述与分析
【摘 要】
：
对密码协议模型进行了分析,引入时廷Petri网分析工具,建立了一种新的安全电子交易协议的形式描述工具.利用该分析工具对安全电子交易协议中的支付部分进行了形式描述,并分析
【机 构】
：
同济大学计算机科学与工程系,同济大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2003年10期
其他文献
本文的主要内容为： （1） 建立采取预防隔离措施传染病动力学偏微模型（P），在一些基本假设条件（H1）-（H6）下，考虑对偏微分方程组（P）采用经典的特征线法，将其转化成与之等价的积分方程组（H），并定
目的：了解酵母真菌医院感染的临床状况、危险因素及耐药现状；研究抗菌中药大蒜素对286株临床分离酵母菌的体外抗菌活性，了解大蒜素对酵母菌的抑菌谱及耐药现状；探讨琼脂扩散法在
该系统采用了先进的地理信息系统组件开发技术、VB和数据库编程技术(SQL)之间的无缝集成性，构成了兰州市交通地理信息系统。该文重点介绍了该系统的结构、功能模块的设计，并给出了整个系统的功能。