Jingde Cheng Yuichi Goto Daisuke Horie ISEE: An Information Security Engineering Environment. 395-400 2009 SECRYPT conf/secrypt/2009 db/conf/secrypt/secrypt2009.html#ChengGH09