Login / Signup
Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS.
Nils Mäurer
Christoph Gentsch
Thomas Gräupl
Corinna Schmitt
Published in:
SECRYPT (2021)
Keyphrases
</>
deep space
high security
formal methods
java card
access control
network security
security requirements
model checking
database
formal model
sensitive data
information security
formal analysis
security analysis
signature verification
assembly line
intrusion detection