Security-Aware Synthesis of Human-UAV Protocols.
Mahmoud ElfarHaibei ZhuMary L. CummingsMiroslav PajicPublished in: ICRA (2019)
Keyphrases
- security protocols
- security properties
- key agreement protocol
- cryptographic protocols
- intrusion detection
- human interaction
- authentication protocol
- key exchange
- human operators
- information security
- communication protocols
- application level
- sensitive data
- security requirements
- texture synthesis
- taking care
- security level
- access control
- secure multiparty computation
- security model
- security analysis
- security issues
- rfid tags
- statistical databases
- human users
- network security
- human subjects
- dynamic environments