Mohlo by se vám také líbit

Více informací o knize Operational Semantics and Verification of Security Protocols

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

Nákupem získáte 151 bodů

Anotace knihy

This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.§

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer networking & communications

• Plný název: Operational Semantics and Verification of Security Protocols
• Autor: Cas Cremers, Sjouke Mauw
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 174
• EAN: 9783642430534
• ISBN: 3642430538
• ID: 09090345
• Nakladatelství: Springer, Berlin
• Hmotnost: 296 g
• Rozměry: 235 × 156 × 10 mm
• Datum vydání: 03. March 2011

Oblíbené z jiného soudku

---

---

---