共 52 条
[11]
[Anonymous], INFORM SOFTWARE TECH
[12]
Ripple: Overview and Outlook
[J].
TRUST AND TRUSTWORTHY COMPUTING, TRUST 2015,
2015, 9229
:163-180
[13]
Ateniese G, 2014, LECT NOTES COMPUT SC, V8479, P80, DOI 10.1007/978-3-319-07536-5_6
[14]
Bamert T, 2014, LECT NOTES COMPUT SC, V8743, P65, DOI 10.1007/978-3-319-11851-2_5
[16]
Beikverdi A., 2015, P 2015 IEEE ACIS 16, P1, DOI DOI 10.1109/SNPD.2015.7176229
[17]
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
[J].
PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY: ESSAYS DEDICATED TO PIERPAOLO DEGANO ON THE OCCASION OF HIS 65TH BIRTHDAY,
2015, 9465
:142-161
[18]
Elliptic Curve Cryptography in Practice
[J].
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2014,
2014, 8437
:157-175