Sökning: "Säkerhetsverifiering"

Hittade 4 uppsatser innehållade ordet Säkerhetsverifiering.

  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. Identification of Fundamental Driving Scenarios Using Unsupervised Machine Learning

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

    Författare :Deepika Anantha Padmanaban; [2020]
    Nyckelord :Time-series Segmentation; Time-series Clustering; Stacked Sparse Autoencoders; Unsupervised Learning; Autonomous Driving; Feature Extraction; Segment av tidsserier; Tidsserie-kluster; Staplade autokodare; Oövervakat lärande; Autonom körning; Särdragsextraktion;

    Sammanfattning : A challenge to release autonomous vehicles to public roads is safety verification of the developed features. Safety test driving of vehicles is not practically feasible as the acceptance criterion is driving at least 2.1 billion kilometers [1]. LÄS MER

  4. 3. Real Time Reachability Analysis for Marine Vessels

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

    Författare :Sudakshin Ganesan; [2018]
    Nyckelord :Reachable set; Safety Verification; Marine dynamics; Machine Learning; Optimal control; Säkerhetsverifiering; nåbarhetsanalys; fartyg dynamisk;

    Sammanfattning : Safety verification of continuous dynamical systems require the computationof the reachable set. The reachable set comprises those states the systemcan reach at a specific point in time. LÄS MER

  5. 4. Probabilistisk säkerhetsverifiering av befintlig vägbro

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Avdelningen för Konstruktionsteknik; Lunds universitet/Väg- och vattenbyggnad (CI)

    Författare :Peter Emanuelsson; Adam Persson; [2011]
    Nyckelord :Vägbro; trafiklaster; trafiksimulering; Technology and Engineering;

    Sammanfattning : Rapporten syftar till att jämföra två olika metoder som kan användas för att klassnings- beräkna broar. För att göra detta har en bro som tidigare klassningsberäknats deterministiskt av Reinertsen AB beräknats probabilistiskt. LÄS MER