Secure Transaction Protocol Analysis Models and Applications /
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...
Κύριοι συγγραφείς: | , , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
Σειρά: | Lecture Notes in Computer Science,
5111 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.