Formal Verfication of a Protocol for Communications over Faulty Channels.
Boutheina ChetaliPierre LescannePublished in: FORTE (1995)
Keyphrases
- multiple access
- formal analysis
- communication channels
- group communication
- lightweight
- multi channel
- formal methods
- message delivery
- network protocols
- cryptographic protocols
- formal specification
- communication systems
- formal model
- security protocols
- communication protocol
- formal language
- fault diagnosis
- network management
- multi agent systems
- elliptic curve
- application layer
- fading channels
- mathematical theory
- tcp ip
- model based diagnosis
- multiple faults