Can I read Electronic Payment Guarantees via CPN on EtoBox?

Electronic Payment Guarantees via CPN by Nõür Êl Hõüdã is a document available to read on EtoBox.

What is Electronic Payment Guarantees via CPN about?

This document discusses electronic payment systems and transaction guarantees. It proposes using Colored Petri Nets (CPNs) and model checking to verify transaction guarantees in payment protocols. Specifically, it develops a CPN model of the NetBill payment system and uses computation tree logic (CTL) model checking to verify guarantees like money conservation, no double spending, and fairness. The approach models all protocol execution scenarios and verifies guarantees from different participant perspectiv

Author

Nõür Êl Hõüdã

Language

EN