Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS.

Nils Murer, Christoph Gentsch, Thomas Grupl, Corinna Schmitt

Browse the full SECRYPT paper archive.