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

Tensions in collaborative cyber security and how they affect incident detection and response

Veröffentlicht in Information resources management ; Vol. 4 (2010)