共 24 条
[1]
[Anonymous], 2008, TECH REP
[2]
SATMC: A SAT-based model checker for security protocols
[J].
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS,
2004, 3229
:730-733
[3]
Basin D., 2005, Int. J. Inf. Secur., V4, P181, DOI [10.1007/s10207-004-0055-7, DOI 10.1007/S10207-004-0055-7]
[4]
Boichut Y., 2004, Proc. Int. Workshop on Automated Verification of Infinite-State Systems (AVIS 2004), P1
[5]
Practical byzantine fault tolerance and proactive recovery
[J].
ACM TRANSACTIONS ON COMPUTER SYSTEMS,
2002, 20 (04)
:398-461
[7]
Conoscenti M., 2016, P 2016 IEEE ACS 13 I, P1, DOI [10.1109/AICCSA.2016 .7945805, DOI 10.1109/AICCSA.2016.7945805]
[8]
Ferraiolo D., 2003, ARTECH H COMP SEC LI
[9]
Hardjono T., 2016, TECH REP
[10]
Hardt D., 2012, OAUTH 2 0 AUTHORIZAT