Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis.
Eman ShaikhNazeeruddin MohammadShahabuddin MuhammadPublished in: ICCSPA (2020)
Keyphrases
- unmanned aerial vehicles
- security analysis
- model checking
- temporal logic
- path planning
- security requirements
- formal specification
- smart card
- public key
- model checker
- formal verification
- temporal properties
- computation tree logic
- automated verification
- control algorithm
- dynamic environments
- formal methods
- transition systems
- bounded model checking
- epistemic logic
- encryption scheme
- verification method
- symbolic model checking
- human operators
- alternating time temporal logic
- information security
- data management
- low cost
- decision making
- real time