Preservation of epistemic properties in security protocol implementations (2007)

by R van der Meyden, T Wilke
Venue:In Proc. of TARK’07