E-Commerce Protocols: Overview, Trend and Verification
Carmen Timofte · Ovidius University Annals Economic Sciences Series · 2011
Many researchers have looked at the problem of verifying e-commerce protocols, but much work remains to be done. On the final, I present the trends for the utilization of formal methods for the verification of modern complicated protocols and protocol suites for the real commercial world.