New Mathematical Model to Analyze Security of Sharding-Based Blockchain Protocols.
Abdelatif HafidAbdelhakim Senhaji HafidMustapha SamihPublished in: IEEE Access (2019)
Keyphrases
- mathematical model
- security protocols
- mathematical models
- authentication protocol
- communication protocols
- control strategy
- key agreement protocol
- information security
- security services
- simulation model
- ant colony algorithm
- security issues
- security properties
- cryptographic protocols
- key exchange
- feasible solution
- application level
- access control
- security policies
- matlab simulink
- network security
- key establishment
- secure multiparty computation
- secret key
- key distribution
- key management
- encryption scheme
- formal analysis
- statistical databases
- fuzzy controller
- global optimization
- computational model
- intrusion detection