An Alternating Qubit Protocol and Its Correctness Checking.

Published in: CoRR (2016)

Keyphrases

lightweight
formal analysis
communication protocol
correctness criterion
cryptographic protocols
coloured petri nets
authentication protocol
application layer
network protocols
data sets
metadata
model checking
security analysis