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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Chen, Qingfeng (Autor), Zhang, Chengqi (Autor), Zhang, Shichao (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5111
Temas:
Computer networks .
Software engineering.
Operating systems (Computers).
Data mining.
Information storage and retrieval systems.
Computer Communication Networks.
Software Engineering.
Operating Systems.
Data Mining and Knowledge Discovery.
Information Storage and Retrieval.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares