Keyphrases
- web services
- formal specification
- security requirements
- formal methods
- cryptographic protocols
- security analysis
- security model
- formal language
- security mechanisms
- data encryption
- identity management
- group communication
- authentication scheme
- database
- information sharing
- model checking
- learning algorithm
- neural network