A Comparison Study of the HLRC-DU Protocol versus a HLRC Hardware Assisted Protocol.

Salvador Petit Julio Sahuquillo Ana Pont

Published in: PDP (2005)

Keyphrases

low cost
lightweight
formal analysis
coloured petri nets
network protocols
cryptographic protocols
real time
information systems
tcp ip
database
genetic algorithm
web services
digital libraries
authentication protocol
network simulator
key agreement protocol