SSE-CMM BPs to Meet the Requirements of ALC_DVS.1 Component in CC. - Sang-ho Kim; Eun-ser Kim; Choon Seong Leem; Ho-jun Shin; Tai-Hoon Kim (ISCIS, 2003)