44、电子钱包中资金问责制的基于模型分析及电商客户分类研究

电子钱包中资金问责制的基于模型分析及电商客户分类研究

电子钱包资金问责制分析

在电子交易中，资金问责制是电子商务协议的关键要求之一，可分为资金问责和商品问责。这里主要聚焦于资金问责制在通用电子钱包规范（CEPS）中的分析。

建模基础

采用CSP（通信顺序进程）对通信通道、客户、商家和银行进程进行编码。在FDR模型检查工具中，细化模型用SYSTEM表示，属性模型用SPEC表示。若SYSTEM是SPEC的细化，意味着SYSTEM的可能行为集是SPEC可能行为集的子集，记为SPEC ⊑ SYSTEM；若不是，FDR工具会生成反例说明属性违反的场景。

各进程建模

1. 通信环境进程 ：采用异步通信通道，因其有助于在CSP模型中考虑网络故障。客户通过不同通信进程与商家和银行通信，如COMMcp从coutp读取数据并写入pinc，COMMpc从poutc读取数据并写入cinm。在故障网络中，通信进程可能非确定性地丢失数据。

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    CARD(cinp,coutp):::process --> COMMcp(coutp,pinc):::process --> PSAM(pinc,poutc):::process
    CARD --> COMMcb(coutb,binc):::process --> BANK(binc,boutc