How formal analysis and verification add security to blockchain-based systems.

Shin'ichiro Matsuo

Published in: FMCAD (2017)

Keyphrases

formal analysis
ban logic
formal methods
security systems
java card
information systems
building blocks
computer systems
high security
high assurance
relational databases
information security
network security
agent model
security issues
security mechanisms