Login / Signup
Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM.
Satya Kuppam
Published in:
SIMULTECH (2018)
Keyphrases
</>
key distribution
real time
digital libraries
load balancing
key management