基于计算树逻辑的LSB替换隐写软件检测

LSB Replacement Steganography Software Detection Based on Computation Tree Logic

针对LSB替换隐写的取证问题,从软件检测的角度出发,提出一种基于计算树逻辑的隐写软件检测方法。该方法采用计算树逻辑描述LSB替换隐写行为,并通过模型检测识别隐写软件。实验表明该方法能够有效检测出已知和未知的LSB替换隐写软件。

From the viewpoint of software detection, this paper proposes a detection method for LSB replacement steganography software based on computation tree logic. It implements computation tree logic to describe steganographie behaviors, and detects steganography software by model checking. Experiments show that the proposed method can effectiely detect both known and unknown LSB re- placement steganography software.