Sökning: "Formell Säkerhet"

Visar resultat 1 - 5 av 17 uppsatser innehållade orden Formell Säkerhet.

  1. 1. Homomorphic encryption

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Daniel Sanaee; [2023]
    Nyckelord :Mathematics; Cryptography; Computer science; Group Theory; Matematik; Kryptografi; Datalogi; Gruppteori;

    Sammanfattning : The problem of constructing a secure encryption scheme that allows for computation on encrypted data was an open problem for more than 30 years. In 2009, Craig Gentry solved the problem, constructing the first fully homomorphic encryption (FHE) scheme. LÄS MER

  3. 2. Occlusion-Aware Autonomous Highway Driving : Tracking safe velocity bounds on potential hidden traffic for improved trajectory planning

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

    Författare :Jonne van Haastregt; [2023]
    Nyckelord :Autonomous Driving; Occlusion-Awareness; Reachability Analysis; Highway driving; Formal Safety; Autonom Körning; Skymd-sikt-medveten; Nåbarhetsanalys; Motorvägskörning; Formell Säkerhet;

    Sammanfattning : In order to reach higher levels of autonomy in autonomous driving, it is important to consider potential occluded traffic participants. Current research has considered occlusion-aware autonomous driving in urban situations. LÄS MER

  4. 3. Säkerheten framför allt : En kvalitativ intervjustudie om arbetstagares upplevelse av intern- och säkerhetskommunikation

    Kandidat-uppsats, Jönköping University/HLK, Medie- och kommunikationsvetenskap

    Författare :Oscar Hedendahl; Oskar Elvin; [2023]
    Nyckelord :Internkommunikation; säkerhetskommunikation; digitala kanaler; hierarkisk organisation.;

    Sammanfattning : Studien ämnar undersöka hur arbetstagare på en industriorganisation i Jönköping upplever den interna kommunikationen samt kommunikation kring säkert beteende. Syftet med studien är att undersöka hur elva arbetstagare som arbetar på olika hierarkiska nivåer i organisationen upplever den generella interna kommunikationen och specifikt kommunikation kring säkert beteende, samt upplevelsen av digitala kanaler. LÄS MER

  5. 4. "Make Orwell Fiction Again" - Den nya lagen om hemlig dataavläsning i förhållande till rättssäkerhet samt rätt till integritet och privatliv.

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Anton Ramazanzadeh Darabad; [2020]
    Nyckelord :straffrätt; criminal law; Law and Political Science;

    Sammanfattning : I år trädde lag (2020:62) om hemlig dataavläsning i kraft, vilket gav de brottsbekämpande myndigheterna befogenhet att i hemlighet avlyssna och läsa data. Denna uppsats kommer att försöka ge läsaren en förståelse av själva lagen och dess innebörd, för att sedan analysera lagen. LÄS MER

  7. 5. 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