Formal Correctness of Security Protocols by Giampaolo Bella (English) Paperback
90,00 €
By Giampaolo Bella. Author Giampaolo Bella. Computer network security is critical to fraud prevention and accountability. The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting.
Jetzt bei Ebay:
