Research on protocol migration.

Yun Wang Guanqun Gu Jiyin Dui

Published in: J. Comput. Sci. Technol. (1996)

Keyphrases

lightweight
cryptographic protocols
coloured petri nets
databases
formal analysis
communication protocol
network protocols
artificial intelligence
security protocols
key distribution
denial of service attacks
provably secure
protocol specification