Test Bed for Plain C/C++ Protocol Implementations.

Henry Haverinen Lassi Lehtinen

Published in: SMARTNET (2002)

Keyphrases

test bed
computer vision systems
lightweight
test beds
trading strategies
cryptographic protocols
efficient implementation
long term
formal analysis
security protocols
mobility management
network protocols
tcp ip
space station
file transfer
coloured petri nets