共 63 条
[3]
[Anonymous], 2014, International Journal of Engineering Research and General Science
[4]
Armando A, 2005, LECT NOTES COMPUT SC, V3576, P281
[5]
SATMC: A SAT-based model checker for security protocols
[J].
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS,
2004, 3229
:730-733
[6]
Basin D., 2005, INT J INF SECUR, V4, P181, DOI [10.1007/s10207-004-0055-7, DOI 10.1007/S10207-004-0055-7]
[7]
Software Defined Space-Terrestrial Integrated Networks: Architecture, Challenges, and Solutions
[J].
IEEE NETWORK,
2019, 33 (01)
:22-28
[8]
Boichut Yohan., 2006, TFIT, V6, P467
[9]
SPACE AND TERRESTRIAL INTEGRATED NETWORKS: EMERGING RESEARCH ADVANCES, PROSPECTS, AND CHALLENGES
[J].
IEEE NETWORK,
2019, 33 (01)
:6-7