Sökning: "Verification Systems"

Visar resultat 6 - 10 av 369 uppsatser innehållade orden Verification Systems.

  1. 6. Evaluating intrusion detection points in an end-to-end solution

    Magister-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Lilla Pankaczi; [2023]
    Nyckelord :RFID; Random UID; Mutual Authentication; Scyther;

    Sammanfattning : Evaluating all intrusion detection points in an end-to-end cyber-physical system can be challenging. This master thesis focuses on evaluating the security of the most exposed part of such systems, Radio Frequency Identification (RFID) communication. LÄS MER

  3. 7. Parabolic equation models simulating LoS MIMO conditions

    Master-uppsats, Karlstads universitet/Institutionen för ingenjörsvetenskap och fysik (from 2013)

    Författare :Zarafshan Carneil; [2023]
    Nyckelord :MIMO; channel capacity; phase difference; MIMO phase;

    Sammanfattning : This thesis explores and develops a simulation model for Line of Sight(LoS) Multiple-Input Multiple-Output (MIMO) systems in complex environments. The focus will be on implementing a 2 × 2-MIMO system in order to study phase differences of the received signals. LÄS MER

  4. 8. Implicit Message Integrity Provision : In Heterogeneous Vehicular Systems

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

    Författare :Paul Molloy; [2023]
    Nyckelord :Privacy; Code Generation; Vehicle-to-infrastructure; Vehicular ad hoc Networks; Standardization; Remote Procedure Calls; Safety; Integritet; Kodgenerering; Fordon-till-infrastruktur; Ad hoc-nät för Fordon; Standardisering; Samtal om fjärrprocedur; Säkerhet;

    Sammanfattning : Vehicles on the road today are complex multi-node computer networks. Security has always been a critical issue in the automotive computing industry. It is becoming even more crucial with the advent of autonomous vehicles and driver assistant technology. There is potential for attackers to control vehicles maliciously. LÄS MER

  5. 9. Code Synthesis for Heterogeneous Platforms

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

    Författare :Zhouxiang Fu; [2023]
    Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER

  7. 10. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER