Securing Statically-verified Communications Protocols Against Timing Attacks.
Mikael BuchholtzStephen T. GilmoreJane HillstonFlemming NielsonPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- security protocols
- cryptographic protocols
- security flaws
- countermeasures
- message delivery
- information security
- malicious attacks
- communication systems
- watermarking scheme
- group communication
- traffic analysis
- security properties
- security mechanisms
- communication protocols
- multi party
- authentication protocol
- communication patterns
- ddos attacks
- security risks
- denial of service attacks
- terrorist attacks
- security issues
- multi agent systems