Sökning: "autentiserad etablering av nycklar"
Hittade 1 uppsats innehållade orden autentiserad etablering av nycklar.
1. Formal Verification of a LTE Security Protocol for Dual-Connectivity : An Evaluation of Automatic Model Checking Tools
Master-uppsats, KTH/Radio Systems Laboratory (RS Lab)Sammanfattning : Security protocols are ubiquitously used in various applications with the intention to ensure secure and private communication. To achieve this goal, a mechanism offering reliable and systematic protocol verification is needed. LÄS MER
Resultatsidor:
1