Secure Transaction Protocol Analysis Models and Applications /

• Main Authors: Chen, Qingfeng (Author), Zhang, Chengqi (Author), Zhang, Shichao (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 5111
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Operating systems (Computers).; Data mining.; Information storage and retrieval.; Computer Science.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Operating Systems.; Software Engineering.; Data Mining and Knowledge Discovery.; Information Storage and Retrieval.

The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. It aims to serve as an overall course-aid and to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis...