Keyphrases
- security analysis
- formal methods
- security properties
- smart card
- security requirements
- public key
- model checking
- high security
- formal specification
- artificial intelligence
- user authentication
- software engineering
- knowledge based systems
- encryption scheme
- supply chain
- authentication protocol
- machine learning
- development lifecycle
- temporal logic
- information security
- low cost
- modeling language
- relational databases
- case study