Typing secure implementation of authentication protocols in environments with compromised principals

Behnam Sattarzadeh, Mehran S. Fallah. Typing secure implementation of authentication protocols in environments with compromised principals. Security and Communication Networks, 7(11):1815-1830, 2014. [doi]

Abstract

Abstract is missing.