共 26 条
[2]
[Anonymous], 2018, ARDUINOLIBS CRYPTOGR
[3]
[Anonymous], [No title captured]
[5]
Blanchet B., 2010, Proverif: Cryptographic protocol verifier in the formal model
[6]
Canetti R, 2001, LECT NOTES COMPUT SC, V2045, P453
[7]
Cheng Z, 2005, IACR CRYPTOLOGY EPRI, V2005, P129