Model checking of security properties: A case study on Human-Robot Interaction processes.
Giuseppe Airo FarullaAnna-Lena LamprechtPublished in: DTIS (2017)
Keyphrases
- model checking
- human robot interaction
- security properties
- formal methods
- temporal logic
- model checker
- human robot
- formal specification
- gesture recognition
- security requirements
- formal verification
- formal model
- temporal properties
- automated verification
- humanoid robot
- symbolic model checking
- security analysis
- security protocols
- timed automata
- epistemic logic
- computation tree logic
- verification method
- bounded model checking
- service robots
- transition systems
- pointing gestures
- case study
- cryptographic protocols
- modal logic
- multi modal
- access control
- information systems
- machine learning