计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2009年
9期
17-19,22
,共4页
Spin%SET协议%Promela%模型检测
Spin%SET協議%Promela%模型檢測
Spin%SET협의%Promela%모형검측
模型检测技术已成功地运用于验证复杂系统的性质.本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况.运用Spin模型检测工具,对SET协议的Promela模型进行了检测,对电子商务协议中的
模型檢測技術已成功地運用于驗證複雜繫統的性質.本文提齣運用Promela語言對電子商務協議進行建模的方法,對比分析瞭有無入侵者時簡化的SET協議的運行情況.運用Spin模型檢測工具,對SET協議的Promela模型進行瞭檢測,對電子商務協議中的
모형검측기술이성공지운용우험증복잡계통적성질.본문제출운용Promela어언대전자상무협의진행건모적방법,대비분석료유무입침자시간화적SET협의적운행정황.운용Spin모형검측공구,대SET협의적Promela모형진행료검측,대전자상무협의중적
