ePassport Protocol on the Spi Calculus.

Safa Saoudi Souheib Yousfi Riadh Robbana

Published in: VECoS (2016)

Keyphrases

lightweight
network protocols
cryptographic protocols
communication protocol
formal language
algebraic structure
provably correct
computer algebra
cmos image sensor
coloured petri nets