
Standards and verification for fair-exchange and atomicity in e-commerce transactions
Keywords: پروتکل ها; E-business; E-commerce; Protocols; Model checking; Money atomicity; Goods atomicity; Valid receipt; Standards enforcement