Jingde Cheng, Yuichi Goto, Daisuke Horie: ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400