Yichuan Wang, He Wang, Xinhong Hei 0001, Wenjiang Ji, Lei Zhu. Petri net modeling and vulnerability analysis of the Heartbleed. In 2021 International Conference on Networking and Network Applications, NaNA 2021, Lijiang City, China, October 29 - Nov. 1, 2021. pages 155-160, IEEE, 2021. [doi]
Abstract is missing.