Secure Transaction Protocol Analysis eBook

Offers a comprehensive coverage of the state of the art in security protocol analysis. This work aims to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis and data mining. It covers the main approaches and tools in formal methods for security protocol analysis.