Formal verification and standardization of security protocols
Formal verification and standardization of security protocols
Tallennettuna:
| Genre | |
|---|---|
| Ulkoasu |
49 sivua, 101 sivua useina numerointijaksoina : kuvitettu ; 25 cm |
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Tiivistelmän kieli |
eng fin swe |
| Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
| Julkaisija |
Helsinki :
Aalto University,
[2023]
|
| Opinnäyte | Väitöskirja : Aalto-yliopisto, tietotekniikan laitos, 2023 |
| Sarja | Aalto University publication series, Doctoral dissertations, ISSN 1799-4934; 2023, 101. |
| Luokitus | |
| Aiheet | |
| Valmistaja | Helsinki : Unigrafia Oy |
| Lisätiedot | Aleksi Peltonen |
| Verkkoaineisto (yhteenveto-osa) |
978-952-64-1334-1 |
| ISBN |
978-952-64-1333-4 pehmeäkantinen |
| Hae kokoteksti | |