Secure authentication in the grid: A formal analysis of DNP3 SAv5.
Cas CremersMartin Dehnel-WildKevin MilnerPublished in: J. Comput. Secur. (2019)
Keyphrases
- formal analysis
- ban logic
- highly interactive
- user authentication
- authentication protocol
- authentication mechanism
- virtual reality technology
- authentication scheme
- security mechanisms
- data encryption
- identity management
- password authentication
- integrity verification
- factor authentication
- security analysis
- security requirements
- secure manner
- back end
- smart card
- key distribution
- security services
- virtual reality
- semantic association
- agent model
- formal methods
- security issues
- secure communication
- public key cryptography
- rights management
- key management
- resource constrained
- user friendly
- lightweight
- biometric authentication
- three dimensional