Sökning: "autentiserad etablering av nycklar"

Hittade 1 uppsats innehållade orden autentiserad etablering av nycklar.

  1. 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)

    Författare :Katharina Pfeffer; [2014]
    Nyckelord :security; authenticated key-exchange; 3GPP; LTE; formal methods; protocol verification; automated model checking; säkerhet; autentiserad etablering av nycklar; 3GPP; LTE; formella metoder; protokollverifiering; automatiserad modellverifiering;

    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