Typing secure implementation of authentication protocols in environments with compromised principals. - Sattarzadeh, Behnam; Fallah, Mehran S. (Security & Communication Networks, 2014)