Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis
https://www.powershow.com/view4/54b292-M2Q4O/Probabilistic_Polynomial-Time_Process_Calculus_for_Security_Protocol_Analysis_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/