An Automated Technique of Communications Protocol Validation.
Colin H. WestPublished in: IEEE Trans. Commun. (1978)
Keyphrases
- multiple access
- group communication
- lightweight
- security protocols
- fully automated
- semi automated
- message delivery
- automated analysis
- communication networks
- coloured petri nets
- database
- communication systems
- database systems
- information systems
- formal analysis
- security analysis
- end to end
- semi automatic
- tcp ip
- cryptographic protocols
- mobile agents
- network simulator
- real time