共 26 条
[2]
Amazon, 2015, AM CLOUDHSM
[3]
Data Protection in OpenStack
[J].
2017 IEEE 10TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (CLOUD),
2017,
:560-567
[4]
Bentajer A., 2020, ADV ENG RES, V34, P78
[5]
Blanchet Bruno., 2005, PROVERIF AUTOMATIC C
[6]
Cervesato I., 2001, 16th Annual Symposium on Logic in Computer ScienceLICS, V1, P1
[7]
Chakrabarti S, 2017, ARXIV PREPRINT ARXIV
[8]
Chokhani R. C. M. I. S, 2013, CRYPTOGRAPHIC KEY MA
[9]
Cortier V, 2014, FOUND TRENDS PROGRAM, V1, P117
[10]
NEW DIRECTIONS IN CRYPTOGRAPHY
[J].
IEEE TRANSACTIONS ON INFORMATION THEORY,
1976, 22 (06)
:644-654