Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
scientific article; zbMATH DE number 4199618