A new dependable exchange protocol.

Hao Wang Heqing Guo Manshan Lin Jianfei Yin Qi He Jun Zhang

Published in: Comput. Commun. (2006)

Keyphrases

information exchange
cryptographic protocols
coloured petri nets
lightweight
fault tolerant
website
application layer
formal analysis
share information
security protocols
low cost
key distribution
multi agent systems
trusted third party
key agreement protocol
network protocols
file transfer
genetic algorithm