Security Analysis of Discrete Event Based Threat Driven Authentication Approach in VANET Using Petri Nets.
Arun MalikBabita PandeyPublished in: Int. J. Netw. Secur. (2018)
Keyphrases
- security analysis
- petri net
- user authentication
- security requirements
- smart card
- authentication protocol
- discrete event systems
- public key
- high security
- petri net model
- security model
- security properties
- fuzzy petri net
- elliptic curve cryptography
- colored petri nets
- encryption scheme
- mutual authentication
- authentication scheme
- service composition
- stochastic petri net
- encryption algorithm
- security mechanisms
- biometric authentication
- data mining
- third party