Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs.
Wanning DingYibo WangYuzhe TangPublished in: CoRR (2024)
Keyphrases
- formal definitions
- security requirements
- security issues
- security measures
- security level
- security mechanisms
- key management
- security management
- denial of service
- security analysis
- information security
- security protocols
- stream cipher
- sensitive data
- cryptographic protocols
- dos attacks
- security services
- key agreement
- security model
- security threats
- authentication protocol
- data encryption
- user authentication
- security properties
- security architecture
- authentication mechanism
- integrity verification
- electronic voting
- security patterns
- network security
- smart card
- data security
- digital signature scheme
- key exchange
- key agreement protocol
- encryption scheme
- key exchange protocol
- security policies
- access control
- key establishment
- trusted computing
- public key encryption
- key distribution
- normal form
- secret key
- diffie hellman
- secure multiparty computation
- intrusion detection
- identity management
- private key
- digital signature
- wireless sensor networks
- factor authentication
- public key
- authentication scheme
- rfid systems
- secure communication
- denial of service attacks
- electronic payment
- ddos attacks
- advanced encryption standard
- intrusion detection system
- database applications
- secure routing
- mobile agent system