Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?.
Yechiam YeminiJames F. KurosePublished in: PSTV (1982)
Keyphrases
- cryptographic protocols
- network protocols
- security protocols
- communication protocol
- communication protocols
- authentication protocol
- multi party non repudiation
- voting protocols
- concurrency control protocols
- key distribution
- fair exchange protocols
- key agreement protocol
- multi party
- higher order
- protocol specification
- security properties
- messages exchanged
- medium access control
- commit protocols
- transaction processing systems
- secure multiparty computation
- message overhead
- lightweight
- ns simulator
- open archives initiative
- contractual obligations
- trusted third party
- theorem proving
- fair exchange
- delay tolerant
- key establishment
- correctness criteria
- interaction protocols
- theorem prover
- locking protocol
- mutual authentication
- transport layer
- group communication
- tcp ip
- inter organizational workflow
- wireless networks