Hyung-Ho Kim Doo-Hwan Bae Dong Kwan Kim Hyo Taeg Jung Yun Dae Chung An Operational Component Specification Method. 38-45 1999 conf/apsec/1999 APSEC http://csdl.computer.org/comp/proceedings/apsec/1999/0509/00/05090038abs.htm db/conf/apsec/apsec1999.html#KimBKJC99