Quantum Cryptography Protocol Simulator.

Marcin Niemiec Lukasz Romanski Marcin Swiety

Published in: MCSS (2011)

Keyphrases

cryptographic protocols
cellular automata
cryptographic algorithms
lightweight
coloured petri nets
quantum computation
test bed
simulation model
web services
communication protocol
network protocols
quantum inspired
security protocols
quantum computing
real robot
formal analysis
mobile robot