共 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