System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
EnglishSvenskaNorsk
4546474849505150 of 51
CiteExportLink to record
Permanent link

Direct link
<<Back to result list
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Verification of Quantum-ResilientAuthentication and Handover Protocols for LDACS
Linköping University.
Linköping University.ORCID iD: 0000-0002-0732-1478
Linköping University.ORCID iD: 0000-0002-9829-9287
Responsible organisation
2026 (English)Conference paper (Other academic)
Abstract [sv]

Artikeln presenterar en systematisk säkerhets- och sårbarhets bedömning av L-band Digital Aeronautical Communications System (LDACS):s autentisering och mobilitets mekanismerna med hjälp av formell symbolisk verifiering med verifierings verktyget Tamarin.
Abstract [en]

The paper presents a systematic security and vulnerability assessment of L-band Digital Aeronautical Communications System (LDACS) authentication and mobility mechanisms using formal symbolic verification with the Tamarin prover.
Place, publisher, year, edition, pages
International Air Transportation Research & Development Symposium , 2026.
Series
Trafikverkets forskningsportföljer
Keywords [en]
Aviation safety, security, Mobility, Resilience.
Keywords [sv]
Luftfart, Luftfartsområdet
National Category
Communication Systems
Research subject
FOI-portföljer, Luftfartsområdet
Identifiers
URN: urn:nbn:se:trafikverket:diva-22392DOI: 10.5281/zenodo.21461833OAI: oai:DiVA.org:trafikverket-22392DiVA, id: diva2:2101219
Conference
International Air Transportation Research & Development Symposium
Projects
Monitorering och anomlidetektion av dataströmmar och beslutsprocesser i avancerad Digital ATS (MONAD)
Funder
Swedish Transport Administration, TRV 2022/108269Available from: 2026-09-14 Created: 2026-09-14 Last updated: 2026-09-14

Open Access in DiVA

Formal Verification of Quantum-ResilientAuthentication and Handover Protocols for LDACS(450 kB)33 downloads
File information
File name FULLTEXT01.pdfFile size 450 kBChecksum SHA-512
b20344ccc5f154b5093cc1591690aefee0229490dafecf5f2f84c26054e9bca01c619ece8f23c256335a6ce9fa4651ec53182465b06c1feb3d5832ec49ce5bba
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Gaba, Gurjot SinghGurtov, Andrei
Communication Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 793 hits
4546474849505150 of 51
CiteExportLink to record
Permanent link

Direct link
<<Back to result list
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.49.0
|
WCAG