Sökning: "verification protocol"

Visar resultat 11 - 15 av 48 uppsatser innehållade orden verification protocol.

  1. 11. En undersökning om end-to-end kryptering av SMS med hjälp av PKCS #1

    Kandidat-uppsats, Mittuniversitetet/Institutionen för informationssystem och –teknologi

    Författare :Mikael Danielsson; [2020]
    Nyckelord :Android; Encryption; SMS; Public Key Cryptography; Key management; Authentication; Android; Kryptering; SMS; Public Key Kryptografi; Nyckelhantering; Autentisering;

    Sammanfattning : In today’s society, especially after everything that was reported by Edward Snowden when he, during 2013, showed how USA’s NSA worked with global surveillance, there is a great need to keep communication secure. Se- cure both in such a way that the contents in messages are protected from unwanted parties as well as in such a way that messages’ authenticity can be verified. LÄS MER

  3. 12. 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. 13. Utredning gällande utförande av lågspänningsställverk

    Kandidat-uppsats, Högskolan Väst/Avdelningen för Industriell ekonomi, Elektro- och Maskinteknik

    Författare :Kristian Westerdahl; [2020]
    Nyckelord :Low voltage switchgears; electric equipment; standards; verification protocol; Lågspänningsställverk; lösningsförslag; elmateriel; standrarder; provningsprotokoll;

    Sammanfattning : Det här examensarbetet har gjorts på uppdrag av Bema Elautomatik AB och har utförts vid Institutionen för ingenjörsvetenskap på Högskolan Väst. Uppdragsgivaren har utökat sin verksamhet med byggnation, konstruktion och projektering av lågspänningsställverk. LÄS MER

  5. 14. Can Surface Scanning Improve the Workflow of Elekta Linac Treatments?

    Kandidat-uppsats, KTH/Medicinteknik och hälsosystem

    Författare :Anna Arousell; Ylva Engdahl; [2019]
    Nyckelord :Elekta Linac; Elekta VersaHD; Elekta Infinity; C-RAD; Catalyst; radiotherapy; surface scanning; workflow analysis;

    Sammanfattning : The aim of the project was to compare the workflow for an Elekta Linac with and without the surfacescanning system Catalyst and describe pros and cons with both workflows. The findings in the reportcan be used as decision support in development of Elekta products and workflow improvements. LÄS MER

  7. 15. Testing the International Standards Organization Verification and Validation protocol for evacuation simulations-An application to the FDS+Evac model

    Master-uppsats, Lunds universitet/Avdelningen för Brandteknik

    Författare :Yalong Wu; [2019]
    Nyckelord :Technology and Engineering;

    Sammanfattning : Nowadays, many evacuation models exist in the market, and new models are continuously released with new features. How to assess the usability and reliability of model results becomes an issue for both developers and users. Therefore, verification and validation (V&V) protocols were introduced in the assessment process of evacuation models. LÄS MER