计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2007年
10期
82-84,123
,共4页
电子商务协议%不可靠环境%模型检测%原子性%UPPAAL
電子商務協議%不可靠環境%模型檢測%原子性%UPPAAL
전자상무협의%불가고배경%모형검측%원자성%UPPAAL
随着网络的大规模应用,电子商务协议的运行环境越来越不可靠.本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质.结果表明:安全的电子商务协议在不可靠环境下运行时有可能不再保持安全性质.当安全性质违背时,借助由自动验证工具UPPAAL生成的消息序列查找原因并对协议进行修改.经验证,修改后的协议在不可靠的环境下保持安全性质.
隨著網絡的大規模應用,電子商務協議的運行環境越來越不可靠.本文用模型檢測的方法分析瞭不可靠環境下電子商務協議的安全性質.結果錶明:安全的電子商務協議在不可靠環境下運行時有可能不再保持安全性質.噹安全性質違揹時,藉助由自動驗證工具UPPAAL生成的消息序列查找原因併對協議進行脩改.經驗證,脩改後的協議在不可靠的環境下保持安全性質.
수착망락적대규모응용,전자상무협의적운행배경월래월불가고.본문용모형검측적방법분석료불가고배경하전자상무협의적안전성질.결과표명:안전적전자상무협의재불가고배경하운행시유가능불재보지안전성질.당안전성질위배시,차조유자동험증공구UPPAAL생성적소식서렬사조원인병대협의진행수개.경험증,수개후적협의재불가고적배경하보지안전성질.