Mohlo by se vám také líbit

Více informací o knize Formal Models and Techniques for Analyzing Security Protocols

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 248 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development

• Plný název: Formal Models and Techniques for Analyzing Security Protocols
• Podnázev: A Tutorial
• Autor: Steve Kremer
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 134
• EAN: 9781601989024
• ISBN: 9781601989024
• ID: 09160779
• Nakladatelství: now publishers Inc
• Hmotnost: 200 g
• Rozměry: 234 × 156 × 8 mm
• Datum vydání: 13. November 2014

Oblíbené z jiného soudku

---

---

---