Modeling of SET Protocol Based on UML and Colored Petri Net

机译：基于UML和有色Petri网的SET协议建模。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, the formal specification of SET protocol is given. The use cases and activity diagram of the buying procedure in SET protocol are explained in detail. With the help of the computer tool Design/CPN, the CPN model of SET protocol is proposed. Supported by the corresponding tools, it can be used to verify the correctness and the security properties of SET protocol.

机译：本文给出了SET协议的正式规范。详细说明了SET协议中购买过程的用例和活动图。借助于计算机工具Design / CPN，提出了SET协议的CPN模型。在相应工具的支持下，它可用于验证SET协议的正确性和安全性。

著录项

来源
《International conferences on info-tech and info-net;ICII 2001-Beijing》|2001年|p.124-129|共6页
会议地点
作者
Zhijun YAN; Renchu GAN;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词
E-commerce; set protocol; CPN; UML; protocol verification;

机译：电子商务;设置协议; CPN; UML;协议验证;

相似文献

外文文献
中文文献
专利

1. Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets [J] . Yang Xu, Xiaoyao Xie, Huanguo Zhang Journal of software . 2011,第7期

机译：使用彩色Petri网的电子商务协议建模与分析
2. Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets [J] . Yang Xu, Xiaoyao Xie, Huanguo Zhang Journal of Computers . 2011,第7期

机译：使用彩色Petri网的电子商务协议建模与分析
3. Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets [J] . Yang Xu, Xiaoyao Xie, Huanguo Zhang Journal of software . 2011,第7期

机译：使用彩色Petri网的电子商务协议建模与分析
4. Modeling of SET protocol based on UML and colored petri net [C] . Zhijun Yan, Renchu Gan Info-tech and Info-net, 2001. Proceedings. ICII 2001 - Beijing. 2001 International Conferences on . 2001

机译：基于UML和有色Petri网的SET协议建模。
5. A Systematic Approach to Modeling Re-entrant Manufacturing Systems with Colored Petri Nets. [D] . Nigro, Carmen. 2012

机译：用彩色Petri网建模可重入制造系统的系统方法。
6. SHER: A Colored Petri Net Based Random Mobility Model for Wireless Communications [O] . Naeem Akhtar Khan, Farooq Ahmad, Sher Afzal Khan -1

机译：SHER：用于无线通信的基于彩色Petri网的随机移动性模型
7. A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. [O] . Elhillali Kerkouche, Algeria Allaoua Chaoui, El Bay Bourennane, 2010

机译：使用曲线图转换的UML和彩色Petri网集合建模和分析方法。

Modeling of SET Protocol Based on UML and Colored Petri Net

摘要

著录项

相似文献

相关主题

期刊订阅