Loading…

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Chen, Qingfeng (Author), Zhang, Chengqi (Author), Zhang, Shichao (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering, 5111
Subjects:
Online Access:Texto Completo

Similar Items