About the sensitivity of the HLRC-DU protocol on diff and page sizes.

Salvador Petit Julio Sahuquillo Ana Pont

Published in: ISPASS (2001)

Keyphrases

website
web pages
tcp ip
keywords
cryptographic protocols
lightweight
sensitivity analysis
formal analysis
coloured petri nets
neural network
high sensitivity
network protocols
real time
authentication protocol
multi party
distributed systems
replacement policy
hierarchical data
protocol specification