Building Executable Secure Design Models for Smart Contracts with Formal Methods

von Xu, Weifeng
Veröffentlicht in FC (23. : 2019 : Saint Kitts) Financial cryptography and data security (2020)

Security and privacy in cyber-physical systems : foundations, principles, and applications

Veröffentlicht 2018