Chained transaction protocol automated verification using Cl-AtSe

Formal verification of multi-party fair exchange E-commerce protocols

CV Bîrjoveanu, M Bîrjoveanu - Secure multi-party E-commerce protocols, 2022 - Springer
Formal Verification of Multi-party Fair Exchange E-Commerce Protocols Page 1 Chapter 5
Formal Verification of Multi-party Fair Exchange E-Commerce Protocols 5.1 AVISPA Tool The …
被引用次数：3 相关文章

[图书][B] Secure Multi-Party E-Commerce Protocols

CV Bîrjoveanu, M Bîrjoveanu - 2022 - Springer
The rapid, widespread development of the digital world (Internet, communications, software,
smart devices) is making traditional commerce obsolete and replaced by ecommerce, which …
被引用次数：1 相关文章 所有 3 个版本