Since the advent of BAN logic, many logics have been proposed for verifying authentication
protocols. In one line of research, scholars have presented logics that can be utilized in …