Report copyright - Towards the Correctness of Security Protocols · [19] to contribute to the correctness of security protocols. Actually, in [19], the authors presented a type-theoretic approach to
Please pass captcha verification before submit form