Formal verification and standardization of security protocols
Formal verification and standardization of security protocols
Saved in:
Genre | |
---|---|
Physical Description |
49 sivua, 101 sivua useina numerointijaksoina : kuvitettu ; 25 cm |
Language |
English |
Language of Original Work |
English |
Language of Abstract |
eng fin swe |
Item Description |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
Published |
Helsinki :
Aalto University,
[2023]
|
Dissertation Note | Väitöskirja : Aalto-yliopisto, tietotekniikan laitos, 2023 |
Series | Aalto University publication series, Doctoral dissertations, ISSN 1799-4934; 2023, 101. |
Classification | |
Subjects | |
Manufacturer | Helsinki : Unigrafia Oy |
Additional Information | Aleksi Peltonen |
Verkkoaineisto (yhteenveto-osa) |
978-952-64-1334-1 |
ISBN |
978-952-64-1333-4 pehmeäkantinen |
Get full text |