Adding Integrity to the Ephemerizer’s Protocol (2006)

by C ARORA, M TURUANI
Venue:in "Proc. of Sixth International Workshop on Automated Verification of Critical Systems - AVoCS