Powiedz znajomym o tym przedmiocie:
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages Veronique Cortier
Czy masz profil? Zaloguj się
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages
Veronique Cortier
Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.
134 pages
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 13 listopada 2014 |
| ISBN13 | 9781601989024 |
| Wydawcy | now publishers Inc |
| Strony | 134 |
| Wymiary | 156 × 234 × 7 mm · 199 g |
| Język | Angielski |
Zobacz wszystko od Veronique Cortier ( np. Paperback Book )