Automatic detection of DoS vulnerabilities of cryptographic protocols.
Urszula KrawczykPiotr SapiechaPublished in: Ann. UMCS Informatica (2012)
Keyphrases
- automatic detection
- cryptographic protocols
- denial of service
- dos attacks
- network security
- denial of service attacks
- standard model
- lightweight
- automatically detecting
- security protocols
- security properties
- authentication protocol
- ddos attacks
- information security
- security issues
- formal verification
- real time
- security mechanisms
- computer networks
- diabetic retinopathy
- locally decodable codes