Automatic Verification of Security of OpenID Connect Protocol with ProVerif.
Jintian LuJinli ZhangJing LiZhongyu WanBo MengPublished in: 3PGCIC (2016)
Keyphrases
- authentication mechanism
- cryptographic protocols
- security protocols
- key agreement protocol
- authentication protocol
- mutual authentication
- security analysis
- communication protocols
- key exchange protocol
- security model
- security properties
- ban logic
- secure multiparty computation
- security services
- denial of service attacks
- rfid systems
- security requirements
- information security
- data encryption
- formal analysis
- provably secure
- security issues
- privacy preserving
- diffie hellman
- trust negotiation
- key distribution
- mobile agent system
- security problems
- key agreement
- key management
- lightweight
- access control
- protocol specification
- network layer
- ns simulator
- mobile payment
- key exchange
- user authentication
- elliptic curve
- network security
- electronic voting
- messages exchanged
- homomorphic encryption
- security mechanisms
- statistical databases
- virtual private network
- secure routing
- intrusion detection
- contractual obligations