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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Authors: | , , |
| Corporate Author: | |
| 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 |