ePassport Protocol on the Spi Calculus.

Safa Saoudi, Souheib Yousfi, Riadh Robbana

Browse the full VECoS paper archive.