Fortell venner om denne varen:
Security Protocols: Verification and Design Automation Pavel Ocenasek
Pris
NOK 439
Bestillingsvarer
Forventes levert 27. okt - 4. nov
Få varsel om nye utgivelser fra Pavel Ocenasek
Legg til iMusic ønskeliste
eller
Security Protocols: Verification and Design Automation
Pavel Ocenasek
This book gives the state of the art of the design and verification of security protocols and presents the evolutionary approach used for the automatic design of protocols for authentication and/or key distribution. The presented approach is based on natural evolution and employs the grammar-based generation of communication schemes according to the design and security requirements. Selected heuristic strategies are also considered to satisfy some design expectations.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 7. november 2010 |
| ISBN13 | 9783838360409 |
| Utgivere | LAP LAMBERT Academic Publishing |
| Antall sider | 112 |
| Mål | 226 × 7 × 150 mm · 185 g |
| Språk | Tysk |