Verifying Mutual Authentication for the DLK Protocol Using ProVerif Tool
Mobile values, new names, and secure communication