Proving hybrid protocols correct (2001)

by M Bickford, C Kreitz, R v Renesse, X Liu
Venue:In TPHOLs ’01