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

LSB Replacement Steganography Software Detection Based on Computation Tree Logic

作　　者：李兆雨 耿红梅[1] 陈熹[2,3] 赵正[2,3] 

机构地区：[1]空军勤务学院,江苏徐州221000 [2]信息工程大学,河南郑州450001 [3]数学工程与先进计算国家重点实验室,河南郑州450001

出　　处：《信息工程大学学报》2017年第1期66-72,共7页Journal of Information Engineering University

基　　金：国家自然科学基金资助项目(61379151;61274189;61302159;61401512)

摘　　要：针对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.

关 键 词：隐写软件 LSB替换 计算树逻辑 模型检测 

分 类 号：TN918.1[电子电信—通信与信息系统]