共 29 条
[1]
Abadi M, 2009, LECT NOTES COMPUT SC, V5643, P35, DOI 10.1007/978-3-642-02658-4_5
[4]
AVISPA, 2021, Automated validation of internet security protocols and applications, DOI [10.1007/11513988_27, DOI 10.1007/11513988_27]
[6]
Canetti R, 2001, LECT NOTES COMPUT SC, V2045, P453