海军工程大学学报
海軍工程大學學報
해군공정대학학보
JOURNAL OF NAVAL UNIVERSITY OF ENGINEERING
2005年
3期
15-18,37
,共5页
张梅%文静华%杨滋荣%李祥
張梅%文靜華%楊滋榮%李祥
장매%문정화%양자영%리상
电子商务协议%公平性%符号模型检测
電子商務協議%公平性%符號模型檢測
전자상무협의%공평성%부호모형검측
提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.
提齣採用模型檢驗方法研究電子商務協議的非否認性與公平性問題,建立瞭認證電子郵件協議CMP1的有限狀態機模型,併用SMV檢驗工具對其非否認性與公平性進行瞭分析檢驗,經過分析髮現瞭CMP1協議不滿足公平性併對其進行瞭相應脩改.結果錶明,利用符號模型檢驗方法分析檢驗電子商務協議的新特性是行之有效的.
제출채용모형검험방법연구전자상무협의적비부인성여공평성문제,건립료인증전자유건협의CMP1적유한상태궤모형,병용SMV검험공구대기비부인성여공평성진행료분석검험,경과분석발현료CMP1협의불만족공평성병대기진행료상응수개.결과표명,이용부호모형검험방법분석검험전자상무협의적신특성시행지유효적.