A blockchain-based signature exchange protocol for metaverse

J Chen, H Xiao, M Hu, CM Chen - Future Generation Computer Systems, 2023 - Elsevier
Abstract Electronic Commodity Trading has a pivotal role in our economic activities. In the
literature, there is a classic problem called “Fair Exchange” which is fundamental to …

Chained transaction protocol automated verification using Cl-AtSe

CV Bîrjoveanu, M Bîrjoveanu - … , ICETE 2020, Online Event, July 8–10 …, 2021 - Springer
The multi-chained complex transactions protocol from [4] is build around the chained
transactions protocol. So, the formal proof of multi-chained complex transactions protocol …

Automated verification of e-commerce protocols for complex transactions

CV Bîrjoveanu, M Bîrjoveanu - International Conference on E-Business …, 2018 - Springer
In our previous work [8] we defined complex transactions as the combination in any form of
aggregate and optional transactions. The solution from [8] proposes an e-commerce …

[PDF][PDF] Multi-party E-commerce protocol for B2C/B2B applications

CV Bırjoveanu, M Bırjoveanu - … Joint Conference on e-Business and …, 2019 - scitepress.org
There are many multi-party fair exchange protocols with applications in e-commerce
transactions for buying digital products, buying physical products, digital signature of …

Multi-party E-Commerce Protocols for Complex Transactions

CV Bîrjoveanu, M Bîrjoveanu - Secure Multi-Party E-Commerce Protocols, 2022 - Springer
This chapter details two solutions for multi-party scenarios: a fair exchange e-commerce
protocol for complex transactions in which the customer buys several different physical …