MAVPro: ADS-B message verification for aviation security with minimal numbers of on-ground sensors.
Ala DarabsehHoda AlKhzaimiChristina PöpperPublished in: WISEC (2020)
Keyphrases
- high security
- sensor technology
- integrity verification
- java card
- cryptographic protocols
- security level
- message authentication codes
- network security
- sensor networks
- multi sensor
- human operators
- real time
- high assurance
- security issues
- sensor data
- data fusion
- model checking
- wireless sensor
- information security
- messages exchanged
- access control
- air traffic
- intrusion detection
- security systems
- sensor fusion
- security requirements
- rfid tags
- statistical databases
- critical infrastructure
- security protocols
- security analysis
- data acquisition
- signature verification
- security properties
- smart card