Formal Models and Techniques for Analyzing Security Protocols

Author
Veronique Cortier, Steve Kremer
Publisher
Ios Pr Inc
Language
English
Year
2011
Page
312
ISBN
1607507137,9781607507130,9781607507147
File Type
pdf
File Size
2.1 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book