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...
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
-
Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24, 2011, Proceedings /
Published: (2011) -
Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008 /
Published: (2008) -
Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012, Proceedings /
Published: (2012) -
Transactions on Large-Scale Data- and Knowledge-Centered Systems I
Published: (2009) -
The Semantic Web - ISWC 2010 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II /
Published: (2010)