z-logo
open-access-imgOpen Access
Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS
Author(s) -
Nils Mäurer,
Christoph Gentsch,
Thomas Gräupl,
Corinna Schmitt
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0010580906030610
Subject(s) - computer science

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom