共 47 条
[1]
Amin R., 2015, FUTURE GENER COMPUT, V80, P483
[2]
[Anonymous], 2018, J AMBIENT INTELL HUM
[3]
[Anonymous], 2020, LIGHTWEIGHT PRIVACY
[4]
[Anonymous], WIREL PERS COMMUN
[6]
An efficient cryptographic protocol verifier based on prolog rules
[J].
14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS,
2001,
:82-96
[7]
BURROWS M, 1990, ACM T COMPUT SYST, V8, P18, DOI [10.1145/77648.77649, 10.1145/74851.74852]