By Qingfeng Chen, Chengqi Zhang, Shichao Zhang
The current quantity arose from the necessity for a accomplished assurance of the state-of-the-art in safety protocol research. It goals to function an total course-aid and to supply self-study fabric for researchers and scholars in formal tools conception and purposes in e-commerce, information research and information mining. the amount can be beneficial to someone drawn to safe e-commerce.
The ebook is prepared in 8 chapters protecting the most ways and instruments in formal tools for safety protocol research. It starts off with an introductory bankruptcy featuring the basics and historical past wisdom with recognize to formal equipment and defense protocol research. bankruptcy 2 offers an outline of comparable paintings during this zone, together with easy options and terminology. Chapters three and four exhibit a logical framework and a version checker for studying safe transaction protocols. bankruptcy five explains how one can care for uncertainty concerns in safe messages, together with inconsistent messages and conflicting ideals in messages. bankruptcy 6 integrates info mining with protection protocol research, and bankruptcy 7 develops a brand new process for detecting collusion assault in security
protocols. bankruptcy eight provides a precis of the chapters and offers a quick dialogue of a few rising concerns within the field.