Using RIPE atlas to evaluate the locator/Id Separation Protocol.

Yue Li Luigi Iannone

Published in: INFOCOM Workshops (2016)

Keyphrases

lightweight
network protocols
mr images
formal analysis
security protocols
tcp ip
image registration
coloured petri nets
image segmentation
ad hoc networks
security analysis
cryptographic protocols
network simulator