Heng-Sheng Chen, Tsang-Yean Lee, Huey-Ming Lee. Verification of Stored Security Data in Computer System. In Ngoc Thanh Nguyen, Manh Thanh Le, Jerzy Swiatek, editors, Intelligent Information and Database Systems, Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part I. Volume 5990 of Lecture Notes in Computer Science, pages 426-434, Springer, 2010. [doi]
Abstract is missing.