Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols.
Mariapia RaimondoStefano MarroneAngelo PalladinoPublished in: CoRR (2022)
Keyphrases
- formal verification
- authentication protocol
- model driven engineering
- cryptographic protocols
- model checking
- ban logic
- security analysis
- smart card
- security protocols
- model driven
- formal analysis
- public key
- rfid tags
- lightweight
- rfid systems
- security requirements
- secret key
- security issues
- model driven architecture
- artificial intelligence
- hash functions
- software engineering
- object oriented
- information systems