共 43 条
[1]
ACCORSI R, 2008, THESIS U FREIBURG
[2]
Accorsi R, 2009, LNI, P223
[3]
Accorsi R, 2006, INT FED INFO PROC, V201, P329
[4]
Accorsi R, 2006, LECT NOTES COMPUT SC, V3934, P58
[5]
Alles M., 2003, Information Systems Control Journal, V1
[6]
[Anonymous], 2006, ACM CCS 2006
[7]
[Anonymous], 1997, Technical Report
[8]
[Anonymous], NETW DISTR SYST SEC
[9]
A Formal Language for Cryptographic Pseudocode
[J].
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS,
2008, 5330
:353-376