Sökning: "authenticated key-exchange"

Hittade 3 uppsatser innehållade orden authenticated key-exchange.

  1. 1. Self-Organizing High-Assurance Privacy

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Joakim Ingnäs; Nicole Tutsch; [2019]
    Nyckelord :;

    Sammanfattning : When using a network, devices might have to securely communicate with oneanother. Issues arise when the devices are unaware of others in the network, orwhen the devices have to be manually updated with the information about thedevices they wish to communicate with. This presents an issue with bootstrappingover networks. LÄS MER

  3. 2. A Comparison of the Password-Authenticated Key Exchange Protocols, SRP-6a and PAKE2+

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oliver Petri; Fredrik Sebek; [2019]
    Nyckelord :;

    Sammanfattning : Privacy is a rising concern globally, and more of our personal information is stored online. It is therefore, important to securely authenticate and encrypt all communication between the client and the server. Password authenticated key-exchange (PAKE) protocols are promising schemes for more secure password authentication on the web. LÄS MER

  4. 3. 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