On the Security and Performance of Proof-based Consensus Protocols.
Gabriel Antonio F. RebelloGustavo Franco CamiloLucas C. B. GuimarãesLucas Airam C. de SouzaOtto Carlos M. B. DuartePublished in: CIoT (2020)
Keyphrases
- security protocols
- key agreement protocol
- cryptographic protocols
- security properties
- communication protocols
- security services
- security requirements
- information security
- intrusion detection
- authentication protocol
- security problems
- security issues
- computer security
- key distribution
- key establishment
- security policies
- access control
- security mechanisms
- key management
- theorem prover
- network security
- communication protocol
- secure multiparty computation
- linear logic
- messages exchanged
- key exchange
- electronic voting
- ns simulator
- medium access control
- theorem proving
- security threats
- security analysis