Symbolic Model

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

Aeronautical communications systems are currently undergoing a modernization process. Analogue legacy systems shall be replaced with modern digital alternatives, offering higher bandwidth, increasing capacity and paving the way for Unmanned …