Sökning: "protocol verification"
Visar resultat 1 - 5 av 48 uppsatser innehållade orden protocol verification.
1. Evaluating intrusion detection points in an end-to-end solution
Magister-uppsats, Högskolan i Halmstad/Akademin för informationsteknologiSammanfattning : 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
2. Safety and Security in AutonomousVehicles : A Systematic Literature Review
Kandidat-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)Sammanfattning : A transformative revolution in transportation is coming with the advent of Au-tonomous Vehicles (AVs), which are expected to increase mobility, reduce trafficcongestion, and save fuel. Although AVs present significant advantages, they alsopose substantial challenges, particularly when it comes to security and safety. LÄS MER
3. Formally Verified Remote Attestation Protocols with Strong Authentication
Master-uppsats, Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakultetenSammanfattning : Most commodity processors available today provide hardware-supported security extensions. Remote attestation has been declared an important step towards providing security to users through such solutions, yet remote attestation has seen limited deployment in practice. LÄS MER
4. Practical Analysis of the Giskard Consensus Protoco
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. LÄS MER
5. Bringing New Technology to a Complex Market : A Market Analysis of the VIPS Protocol
Master-uppsats, Uppsala universitet/Industriell teknikSammanfattning : University research being adopted by, or transferred to, industry has enabled many of the things we now take for granted. The road from a breakthrough at a university to societal consequences is however a long and winding road full of dead ends and surprising turns. LÄS MER