Zobacz książki o podobnej tematyce

Więcej informacji o Formal Models and Techniques for Analyzing Security Protocols

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 248 punkty

Opis

Security protocols are distributed programs that are aimed at securing communications by the means of cryptography. They are for instance used to secure electronic payments, home banking, and more recently electronic elections. This book provides you with a tutorial on some modern techniques to model and automatically analyze security protocols.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development

• Pełny tytuł: Formal Models and Techniques for Analyzing Security Protocols
• Podtytuł: A Tutorial
• Autor: Steve Kremer
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 134
• EAN: 9781601989024
• ISBN: 9781601989024
• ID: 09160779
• Wydawca: now publishers Inc
• Waga: 200 g
• Wymiary: 234 × 156 × 8 mm
• Data wydania: 13. November 2014

Ulubione w innej kategorii

---

---

---