Dynamically reconfigurable protocol transducer.

Shota Watanabe Yuji Ishikawa Kenshu Seto Satoshi Komatsu Masahiro Fujita

Published in: FPT (2006)

Keyphrases

tcp ip
lightweight
formal analysis
network protocols
cryptographic protocols
case study
key distribution
real time
security analysis
coloured petri nets
communication protocol
authentication protocol
security protocols
digital libraries
website
artificial intelligence
genetic algorithm
neural network