共 15 条
- [1] Al-Ofeishat H. A., 2012, INT J COMPUTER SCI N
- [2] [Anonymous], 2011, EMV BOOKS
- [3] [Anonymous], 2008, The transport layer security (TLS) protocol version 1.2
- [4] Ceipidor U. B., 2012, IEEE INT ISC C INF S
- [5] Cremers C., 2012, Operational Semantics and Verification of Security Protocols
- [6] Cremers C., 2007, INT WORKSH VER CRIT
- [7] Cremers C. J., 2008, SPRINGER COMPUTER AI
- [8] DAVI L, 2010, INFORM SECURITY, P346
- [9] El Madhoun N., 2016, INT C MOB SEC SERV M, P1
- [10] El Madhoun N., 2016, 15 IEEE INT C TRUST