共 32 条
[31]
Shoup Victor., 1999, FORMAL MODELS SECURE
[32]
Wu SH, 2008, LECT NOTES COMPUT SC, V5143, P69