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...

Table of Contents:

• Overview of Security Protocol Analysis
• Formal Analysis of Secure Transaction Protocols
• Model Checking in Security Protocol Analysis
• Uncertainty Issues in Secure Messages
• Applications of Data Mining in Protocol Analysis
• Detection Models of Collusion Attacks
• Conclusion and Future Works.