摘要:第三方支付業務在電子商務平臺中的廣泛使用,極大促進了電子商務活動的發展。利用模型檢查工具SPIN、建模語言PROMELA,對第三方支付業務進行形式化建模,然后利用時態邏輯公式LTL描述系統待驗證屬性,最后驗證表明,網上交易在第三方支付的支持下可以順利進行。
關鍵詞:SPIN;第三方支付;形式化;模型檢查
計算機時代2008年12期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網