共 16 条
[1]
Anderson A., U.S. patent, Patent No. 20100042973
[2]
[Anonymous], 1992, 15 NAT COMP SEC C
[3]
[Anonymous], 2007, P 16 INT C WORLD WID
[4]
Barker S., 2003, ACM Transactions on Information and Systems Security, V6, P501, DOI 10.1145/950191.950194
[5]
BATOUBA R, 2007, IEEE T NETWORK SERVI, V4
[6]
Bertot Yves., INTERACTIVE THEOREM
[7]
Capretta V., FMSE 07 P, P22
[8]
Dougherty DJ, 2006, LECT NOTES ARTIF INT, V4130, P632
[9]
Karp A.H., 2009, HPL200930