Sökning: "Tamarin Prover"

Hittade 3 uppsatser innehållade orden Tamarin Prover.

  1. 1. Formal security verification of the Drone Remote Identification Protocol using Tamarin

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Jakob Ahokas; Jonathan Persson; [2022]
    Nyckelord :Cybersecurity; Formal verification; Unmanned aircraft; Cryptography;

    Sammanfattning : The current standard for remote identification of unmanned aircraft does not contain anyform of security considerations, opening up possibilities for impersonation attacks. Thenewly proposed Drone Remote Identification Protocol aims to change this. LÄS MER

  3. 2. Formal security analysis of authentication in an asynchronous communication model

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

    Författare :Jacob Wahlgren; Sam Yousefzadegan Hedin; [2020]
    Nyckelord :formal verification; Tamarin Prover; formal analysis; information security; authentication; formell verifiering; Tamarin Prover; formell analys; informationssäkerhet; autentisering;

    Sammanfattning : Formal analysis of security protocols is becoming increasingly relevant. In formal analysis, a model is created of a protocol or system, and propositions about the security of the model are written. A program is then used to verify that the propositions hold, or find examples of where they do not. 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