Analysing Protocol Implementations.

Anders Moen Hagalisletto Lars Strand Wolfgang Leister Arne-Kristian Groven

Published in: ISPEC (2009)

Keyphrases

lightweight
network protocols
efficient implementation
security protocols
coloured petri nets
denial of service attacks
group communication
cryptographic protocols
tcp ip
application layer
authentication protocol
real time
low cost
wireless sensor networks
case study
genetic algorithm
data mining
neural network