Formalizing Bitcoin Crashes with Universally Composable Security.
Junming KePawel SzalachowskiJianying ZhouQiuliang XuPublished in: ISC (2020)
Keyphrases
- information security
- intrusion detection
- security requirements
- information assurance
- trusted third party
- network security
- security issues
- security policies
- security mechanisms
- security problems
- data mining
- statistical databases
- functional requirements
- encryption scheme
- key management
- cyber security
- security level
- security management