Correctness Proofs and Counter-model Generation with Authentication-Protocol Logic
https://www.powershow.com/view4/678b4f-ZGQxO/Correctness_Proofs_and_Counter-model_Generation_with_Authentication-Protocol_Logic_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
