Verifying Mutual Authentication for the DLK Protocol Using ProVerif Tool
Formal methods: state of the art and future directions