Zobacz książki o podobnej tematyce

Więcej informacji o Operational Semantics and Verification of Security Protocols

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

Za ten zakup dostaniesz 137 punkty

Opis

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.§

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer networking & communications

• Pełny tytuł: Operational Semantics and Verification of Security Protocols
• Autor: Cas Cremers, Sjouke Mauw
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 174
• EAN: 9783642430534
• ISBN: 3642430538
• ID: 09090345
• Wydawca: Springer, Berlin
• Waga: 296 g
• Wymiary: 235 × 156 × 10 mm
• Data wydania: 03. March 2011

Ulubione w innej kategorii

---

---

---