Formal Analysis of an Authentication Protocol Against External Cloud-Based Denial-of-Service (DoS) Attack.
Marwan DarwishAbdelkader H. OudaLuiz Fernando CapretzPublished in: CoRR (2017)
Keyphrases
- dos attacks
- authentication protocol
- ban logic
- lightweight
- denial of service
- formal analysis
- network security
- denial of service attacks
- smart card
- cloud computing
- rfid tags
- security analysis
- public key
- ddos attacks
- security protocols
- data mining
- mobile ad hoc networks
- agent model
- formal methods
- security issues
- data management
- information systems