共 35 条
[1]
Aguilera M. K., 2003, Operating Systems Review, V37, P74, DOI 10.1145/1165389.945454
[2]
Androulaki E., 2016, HYPERLEDGER FABRIC P
[3]
[Anonymous], 2017, PARITY DOCUMENTATION
[4]
[Anonymous], 2013, IEEE INT CONF PEER, DOI DOI 10.1109/P2P.2013.6688704
[5]
[Anonymous], 2017, ARXIV170902489CS
[7]
Formal Verification of Smart Contracts Short Paper
[J].
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16),
2016,
:91-96
[8]
Buterin V., 2014, CISC VIS NETW IND GL, V3, P2, DOI [10.5663/aps.v1i1.10138, DOI 10.5663/APS.V1I1.10138]
[9]
Cachin C., 2016, WORKSH DISTR CRYPT C, V310
[10]
Practical byzantine fault tolerance and proactive recovery
[J].
ACM TRANSACTIONS ON COMPUTER SYSTEMS,
2002, 20 (04)
:398-461