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

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares