A User Interface for a Game-Based Protocol Verification Tool.
Peeter LaudIlja TsahhirovPublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- user interface
- cryptographic protocols
- formal analysis
- protocol specification
- human computer interaction
- model checking
- user friendly
- software tools
- user interaction
- mobile learning
- communication protocols
- face verification
- design principles
- formal proof
- network protocols
- verification method
- game based learning
- e learning
- user experience
- learning systems
- learning process
- expert systems