Action versus state based logics for transition systems
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Fair exchange with a semi-trusted third party (extended abstract)
Proceedings of the 4th ACM conference on Computer and communications security
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Atomicity in electronic commerce
netWorker
Fairness in electronic commerce
Fairness in electronic commerce
Electronic payment systems for E-Commerce
Electronic payment systems for E-Commerce
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Semper--Secure Electronic Marketplace for Europe
Semper--Secure Electronic Marketplace for Europe
Finite-state analysis of two contract signing protocols
Theoretical Computer Science
Web Services and Business Transactions
World Wide Web
MicroBill: An Efficient Secure System for Subscription Based Services
ASIAN '02 Proceedings of the7th Asian Computing Science Conference on Advances in Computing Science: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster
A Formal and Executable Specification of the Internet Open Trading Protocol
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
An Introduction to the Practical Use of Coloured Petri Nets
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
A Scheme for Analyzing Electronic Payment Systems
ACSAC '98 Proceedings of the 14th Annual Computer Security Applications Conference
Making trust explicit in distributed commerce transactions
ICDCS '96 Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)
Automatic Generation of Reliable E-Commerce Payment Processes
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 1 - Volume 1
Protecting individuals' interests in electronic commerce protocols
Protecting individuals' interests in electronic commerce protocols
An improved formal specification of the Internet Open Trading Pprotocol
Proceedings of the 2004 ACM symposium on Applied computing
A Security Protocol for Certified E-Goods Delivery
ITCC '04 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 2 - Volume 2
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing
An anonymous and failure resilient fair-exchange e-commerce protocol
Decision Support Systems
Model checking electronic commerce protocols
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
NetBill security and transaction protocol
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Building blocks for atomicity in electronic commerce
SSYM'96 Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography - Volume 6
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Intrusion attack tactics for the model checking of e-commerce security guarantees
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
A coloured Petri net analysis of the Transaction Internet Protocol
International Journal of Electronic Security and Digital Forensics
Performance analysis and verification of safety communication protocol in train control system
Computer Standards & Interfaces
International Journal of Business Intelligence and Data Mining
Hi-index | 0.00 |
Electronic payment systems play a vital role in modern business-to-consumer and business-to-business e-commerce. Atomicity, fault tolerance and security concerns form a problem domain of interdependent issues that are taken into account to assure the transaction guarantees of interest. We focus on the most notable payment transaction guarantees: money conservation, no double spending, goods atomicity, distributed payment atomicity, certified delivery or validated receipt and the high-level guarantees of fairness and protection of payment participants' interests. Apart from a roadmap to the forenamed transaction guarantees, this work's contribution is basically a full-fledged methodology for building and validating high-level protocol models and for proving payment transaction guarantees by model checking them from different participants perspectives (payer perspective, as well as payee perspective). Our approach lies on the use of Colored Petri Nets and the CPN Tools environment (i) for editing and analyzing protocol models, (ii) for proving the required transaction guarantees by CTL-based (Computation Tree Temporal Logic) model checking and (iii) for evaluating the need of candidate security requirements.