Carmen, Timofte - In: Ovidius University Annals, Economic Sciences Series XI (2011) 1, pp. 2103-2108
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.