共 47 条
[8]
Blanchet B, 2015, Proverif 1.90: automatic cryptographic protocol verifier, user manual and tutorial
[9]
Canetti R, 2002, LECT NOTES COMPUT SC, V2332, P337