Zheng Zhao, Fenlin Liu, Xiangyang Luo, Xin Xie, Lu Yu. LSB Replacement Steganography Software Detection Based on Model Checking. In Yun Q. Shi, Hyoung Joong Kim, Fernando Pérez-González, editors, Digital Forensics and Watermaking - 11th International Workshop, IWDW 2012, Shanghai, China, October 31 - November 3, 2012, Revised Selected Papers. Volume 7809 of Lecture Notes in Computer Science, pages 54-68, Springer, 2012. [doi]
Abstract is missing.