How formal analysis and verification add security to blockchain-based systems
| Title | How formal analysis and verification add security to blockchain-based systems |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Matsuo, S. |
| Conference Name | 2017 Formal Methods in Computer Aided Design (FMCAD) |
| Date Published | Oct. 2017 |
| Publisher | IEEE |
| ISBN Number | 978-0-9835678-7-5 |
| Keywords | blockchain, blockchain security, blockchain-based system security, contracts, cryptography, domain specific language, formal analysis, formal method, formal verification, IEC standards, integrated technology, ISO standards, process transactions, Protocols, pubcrawl, resilience, Resiliency, Scalability, security evaluation, security layers, security of data, Tools |
| Abstract | Blockchain is an integrated technology to ensure keeping record and process transactions with decentralized manner. It is thought as the foundation of future decentralized ecosystem, and collects much attention. However, the maturity of this technology including security of the fundamental protocol and its applications is not enough, thus we need more research on the security evaluation and verification of Blockchain technology This tutorial explains the current status of the security of this technology, its security layers and possibility of application of formal analysis and verification. |
| URL | https://ieeexplore.ieee.org/document/8102228/ |
| DOI | 10.23919/FMCAD.2017.8102228 |
| Citation Key | matsuo_how_2017 |
- ISO standards
- tools
- security of data
- security layers
- Security Evaluation
- Scalability
- Resiliency
- resilience
- pubcrawl
- Protocols
- process transactions
- blockchain
- integrated technology
- IEC standards
- formal verification
- formal method
- formal analysis
- domain specific language
- Cryptography
- contracts
- blockchain-based system security
- blockchain security