Protocol validation by synthesizing communications system behaviors.
Sung Y. BangPeter A. NgPaul K. BlackwellPublished in: Inf. Sci. (1981)
Keyphrases
- multiple access
- group communication
- lightweight
- message delivery
- communication systems
- cryptographic protocols
- tcp ip
- behavior analysis
- formal analysis
- communication protocol
- coloured petri nets
- network protocols
- behavior recognition
- human behavior
- communication patterns
- application layer
- data sets
- authentication protocol
- security analysis
- communication networks
- database systems