Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.
Stephan SchulzPublished in: TestCom (2004)
Keyphrases
- protocol specification
- type definitions
- state machines
- cryptographic protocols
- communication protocols
- network protocols
- communication protocol
- security protocols
- multi party non repudiation
- voting protocols
- authentication protocol
- key agreement protocol
- fair exchange protocols
- key distribution
- trusted third party
- lightweight
- secure multiparty computation
- message delivery
- transaction processing systems
- messages exchanged
- wireless medium
- contractual obligations
- key exchange
- concurrency control protocols
- group communication
- ns simulator
- security properties
- multi party
- software testing
- data management
- software engineering