Lian Yu, Lijun Liu, Yanbing Jiang, Qi Jing, Bei Zhao, Chen Zhang. Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems. In 20th IEEE International Conference on Software Quality, Reliability and Security, QRS 2020, Macau, China, December 11-14, 2020. pages 285-296, IEEE, 2020. [doi]
Abstract is missing.