Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS
Herausgeber Sammlung:
De Capitani di Vimercati, Sabrina; Samarati, Pierangela
Titel Konferenzpublikation:
SECRYPT 2021
Untertitel Konferenzpublikation:
proceedings of the 18th International Conference on Security and Cryptography, online streaming, July 6-8, 2021
Konferenztitel:
International Conference on Security and Cryptography (18., 2021, Virtuell)
Tagungsort:
Virtuell
Jahr der Konferenz:
2021
Datum Beginn der Konferenz:
06.07.2021
Datum Ende der Konferenz:
08.07.2021
Verlagsort:
Setúbal
Verlag:
SCITEPRESS - Science and Technology Publications
Jahr:
2021
Seiten von - bis:
603-610
Sprache:
Englisch
ISBN:
978-989-758-524-1
URL zum Preprint:
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Dreo Rodosek, Gabi
Open Access ja oder nein?:
Nein / No
BibTeX