第三方支付的基于ＳＰＩＮ的形式化分析
2008-12-31 00:00:00黎升洪馮艷清
計(jì)算機(jī)時(shí)代 2008年12期
摘要：第三方支付業(yè)務(wù)在電子商務(wù)平臺(tái)中的廣泛使用，極大促進(jìn)了電子商務(wù)活動(dòng)的發(fā)展。利用模型檢查工具SPIN、建模語(yǔ)言PROMELA，對(duì)第三方支付業(yè)務(wù)進(jìn)行形式化建模，然后利用時(shí)態(tài)邏輯公式LTL描述系統(tǒng)待驗(yàn)證屬性，最后驗(yàn)證表明，網(wǎng)上交易在第三方支付的支持下可以順利進(jìn)行。
關(guān)鍵詞：SPIN；第三方支付；形式化；模型檢查
- 計(jì)算機(jī)時(shí)代的其它文章
- ２００８浙江省計(jì)算機(jī)學(xué)會(huì)教育培訓(xùn)專委會(huì)會(huì)議在杭召開(kāi)
- 房地產(chǎn)稅收一體化管理模式下數(shù)據(jù)庫(kù)的建立與應(yīng)用
- 水廠自動(dòng)化控制系統(tǒng)的設(shè)計(jì)應(yīng)用
- 《網(wǎng)頁(yè)三劍客》課程學(xué)習(xí)論壇的設(shè)計(jì)
- 基于開(kāi)源軟件的教學(xué)支持平臺(tái)的設(shè)計(jì)與應(yīng)用
- 基于ＢＰ神經(jīng)網(wǎng)絡(luò)的編譯原理學(xué)績(jī)?cè)u(píng)估方法