Specification and analysis of n-way key recovery system by Extended Cryptographic Timed Petri Net. - Shin-Young Lim; Jeong-Ho Ko; Eun-Ah Jun; Gang-Soo Lee (J. Syst. Softw., 2001)

Providing multilayered context for building smart home. - Kwang-Won Koh; Chang-Ik Choi; Kyung-Lang Park; Shin-Young Lim; Shin-Dug Kim (J. Comput. Methods Sci. Eng., 2006)