Cover Image

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

Saved in:
Bibliographic Details
Main Authors: Chen, Qingfeng. (Author, http://id.loc.gov/vocabulary/relators/aut), Zhang, Chengqi. (http://id.loc.gov/vocabulary/relators/aut), Zhang, Shichao. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering ; 5111
Subjects:
Computer communication systems.
Software engineering.
Operating systems (Computers).
Data mining.
Information storage and retrieval.
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Operating Systems.
Software Engineering.
Data Mining and Knowledge Discovery.
Information Storage and Retrieval.
Online Access:https://doi.org/10.1007/978-3-540-85074-8
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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.

Similar Items