Security Framework to Verify the Low Level Implementation Codes

Haeng-Kon Kim, Hae Sool Yang. Security Framework to Verify the Low Level Implementation Codes. In Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan, editors, Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part II. Volume 3481 of Lecture Notes in Computer Science, pages 52-61, Springer, 2005. [doi]

Abstract

Abstract is missing.