Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS
Collection editors:
De Capitani di Vimercati, Sabrina; Samarati, Pierangela
Title of conference publication:
SECRYPT 2021
Subtitle of conference publication:
proceedings of the 18th International Conference on Security and Cryptography, online streaming, July 6-8, 2021
Conference title:
International Conference on Security and Cryptography (18., 2021, Virtuell)
Venue:
Virtuell
Year of conference:
2021
Date of conference beginning:
06.07.2021
Date of conference ending:
08.07.2021
Place of publication:
Setúbal
Publisher:
SCITEPRESS - Science and Technology Publications
Year:
2021
Pages from - to:
603-610
Language:
Englisch
ISBN:
978-989-758-524-1
Preprint URL:
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Dreo Rodosek, Gabi
Open Access yes or no?:
Nein / No
BibTeX