Formal modeling and analysis of fairness characterization of E-commerce protocols

DOI10.1155/2014/138370zbMath1437.68018OpenAlexW2123724485WikidataQ59049557 ScholiaQ59049557MaRDI QIDQ2336155

Jiaojiao Song, Jing Hu, Chengwei Zhang, Zhi-Yong Feng, Xiao-Hong Li

Publication date: 19 November 2019

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2014/138370

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Network protocols (68M12)

Cites Work

• State and progress in strand spaces: proving fair exchange
• Adding Branching to the Strand Space Model
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal modeling and analysis of fairness characterization of E-commerce protocols