The Formal Verification and Improvement of Simplified SET Protocol

Meihua Xiao, Zilong Wan, Hongling Liu. The Formal Verification and Improvement of Simplified SET Protocol. JSW, 9(9):2302-2308, 2014. [doi]

Abstract

Abstract is missing.