Formal Definitions for Secure Distributed Protocols.
Donald BeaverPublished in: Distributed Computing And Cryptography (1989)
Keyphrases
- formal definitions
- multi party
- group communication
- horizontally partitioned data
- privacy preserving
- cryptographic protocols
- cooperative
- secure multiparty computation
- distributed systems
- normal form
- key distribution
- security protocols
- key exchange
- distributed environment
- fault tolerant
- peer to peer
- authentication protocol
- lightweight
- rights management
- security services
- multi agent
- cloud computing
- distributed databases
- diffie hellman
- database replication
- single point of failure
- key establishment
- sensor networks
- management system
- computing environments