Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nils Mäurer, Christoph Gentsch, Thomas Gräupl, Corinna Schmitt. Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS. In Sabrina De Capitani di Vimercati, Pierangela Samarati, editors, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021. pages 603-610, SCITEPRESS, 2021. [doi]

This author has not been identified. Look up 'Nils Mäurer' in GoogleThis author has not been identified. Look up 'Christoph Gentsch' in GoogleThis author has not been identified. Look up 'Thomas Gräupl' in GoogleThis author has not been identified. Look up 'Corinna Schmitt' in Google

runs on WebDSL