Essays about: "Säkerhetsverifiering"

Found 3 essays containing the word Säkerhetsverifiering.

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

   University essay from Linköpings universitet/Institutionen för datavetenskap

   Author : Jakob Ahokas; Jonathan Persson; [2022]
   Keywords : Cybersecurity; Formal verification; Unmanned aircraft; Cryptography;

   Abstract : 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. READ MORE

3. 2. Identification of Fundamental Driving Scenarios Using Unsupervised Machine Learning

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Deepika Anantha Padmanaban; [2020]
   Keywords : 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;

   Abstract : 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]. READ MORE

4. 3. Real Time Reachability Analysis for Marine Vessels

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

   Abstract : 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. READ MORE