LDES: detector design for version number attack detection using linear temporal logic based on discrete event system

Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar. LDES: detector design for version number attack detection using linear temporal logic based on discrete event system. Int. J. Inf. Sec., 22(4):961-985, 2023. [doi]

Abstract

Abstract is missing.