共 10 条
[1]
Damgard I. B., 1997, J CRYPTOGRAPHY
[2]
Dhenakaran SS, 2007, INT J COMPUT SCI NET, V7, P254
[3]
Dhenakaran S. S., 2000, NEW MODEL SOLVE LINE
[4]
Logics for reasoning about cryptographic constructions
[J].
44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS,
2003,
:372-383
[5]
Laud P, 2004, P IEEE S SECUR PRIV, P71
[6]
Magliveras S. S., 1992, Journal of Cryptology, V5, P167, DOI 10.1007/BF02451113
[7]
Naganathan E. R., 2007, WORKSH ORG NAT TECHN
[8]
Naganathan E. R., J INFORM SYSTEM SECU
[9]
Naganathan E. R., 2008, INT C EM TECHN APPL
[10]
Syverson P., 2003, 14 IEEE S SEC PRIV, P165