Formalizing Bitcoin Crashes with Universally Composable Security.
Junming KePawel SzalachowskiJianying ZhouQiuliang XuPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- information security
- security requirements
- access control
- trusted third party
- intrusion detection
- security issues
- computer security
- security threats
- security systems
- security mechanisms
- functional requirements
- information assurance
- security analysis
- human operators
- credit card
- statistical databases
- network security
- neural network
- encryption scheme
- key management
- data security
- security level
- security problems
- operating system
- anomaly detection
- security vulnerabilities
- information systems