Formal verification and standardization of security protocols
Formal verification and standardization of security protocols
Tallennettuna:
Genre | |
---|---|
Ulkoasu |
1 verkkoaineisto (48 sivua) : kuvitettu |
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Tiivistelmän kieli |
fin swe |
Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa. |
Julkaisija |
Helsinki :
Aalto University,
[2023]
|
Opinnäyte | Väitöskirja : Aalto-yliopisto, tietotekniikan laitos, 2023 |
Sarja | Aalto University publication series, Doctoral dissertations, ISSN 1799-4942; 2023, 101. |
Luokitus | |
Aiheet | |
Lisätiedot | Aleksi Peltonen |
Painettu |
978-952-64-1333-4 |
ISBN |
978-952-64-1334-1 PDF |
Pääsy | Aineisto on vapaasti saatavissa |
Hae kokoteksti |