共 50 条
[3]
SATMC: A SAT-based model checker for security protocols
[J].
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS,
2004, 3229
:730-733
[4]
MedRec: Using Blockchain for Medical Data Access and Permission Management
[J].
PROCEEDINGS 2016 2ND INTERNATIONAL CONFERENCE ON OPEN AND BIG DATA - OBD 2016,
2016,
:25-30
[5]
Basin D., 2005, Int. J. Inf. Secur, V4, P181, DOI [DOI 10.1007/S10207-004-0055-7, 10.1007/s10207-004-0055-7]
[6]
Boichut Y., 2004, P AVIS, V4, P84
[7]
BURROWS M, 1990, ACM T COMPUT SYST, V8, P18, DOI [10.1145/77648.77649, 10.1145/74851.74852]
[8]
Canetti R, 2001, LECT NOTES COMPUT SC, V2045, P453