Secure Transaction Protocol Analysis Models and Applications /

• Κύριοι συγγραφείς: Chen, Qingfeng (Συγγραφέας), Zhang, Chengqi (Συγγραφέας), Zhang, Shichao (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5111
• Θέματα: 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...

Πίνακας περιεχομένων:

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