Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach.
Samir G. KelekarGeorge W. HartPublished in: PSTV (1993)
Keyphrases
- cryptographic protocols
- network protocols
- security protocols
- communication protocol
- communication protocols
- authentication protocol
- multi party non repudiation
- voting protocols
- fair exchange protocols
- key distribution
- key agreement protocol
- medium access control
- protocol specification
- multi party
- messages exchanged
- trusted third party
- fair exchange
- concurrency control protocols
- group communication
- open archives initiative
- secure multiparty computation
- homomorphic encryption
- lightweight
- contractual obligations
- ns simulator
- transport layer
- correctness criteria
- locking protocol
- transaction processing systems
- security properties
- wireless medium
- message delivery
- message overhead
- smart card
- delay tolerant
- mutual authentication
- key exchange
- commit protocols
- key establishment
- packet delivery
- interaction protocols
- replica control
- network simulator
- public key cryptosystems
- tcp ip
- application layer
- key management
- rfid tags