Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.
Cas CremersMartin Dehnel-WildKevin MilnerPublished in: ESORICS (1) (2017)
Keyphrases
- formal analysis
- ban logic
- highly interactive
- authentication protocol
- authentication scheme
- user authentication
- authentication mechanism
- data encryption
- password authentication
- virtual reality technology
- security mechanisms
- factor authentication
- identity management
- integrity verification
- security analysis
- back end
- key distribution
- security requirements
- secure manner
- semantic association
- formal methods
- rights management
- virtual reality
- public key
- secure communication
- smart card
- user friendly
- security services
- biometric authentication
- agent model
- public key cryptography
- security protocols
- lightweight
- database systems
- machine learning
- key management
- building blocks
- virtual world
- access control
- expert systems
- artificial intelligence